Solving SAT with P systems with anti-membranes

P systems with anti-membranes represent a variant of P systems with anti-matter in which the concept of annihilation between a matter object and its corresponding anti-matter object is replaced by annihilation between a membrane and its corresponding anti-membrane. In this paper P systems with anti-membranes are shown to be powerful enough such that only by using label changing, annihilation and division rules, polynomial time solutions are provided for the NP-complete problem SAT. The proposed solution for the SAT problem uses an exponential number of rules to create an exponential working space.