A New Approach for Solving SAT by P Systems with Active Membranes

Abstract

In this paper we give two families of P systems with active membranes that can solve the satis ability problem of propositional formulas in linear time in the number of propositional variables occurring in the input formula. These solutions do not use polarizations of the membranes or non-elementary membrane division but use separation rules with relabeling. The first solution is a uniform one, but it is not polynomially uniform. The second solution, which is based on the first one, is a polynomially semi-uniform solution.