Solving SAT in linear time with a neural-like membrane system

Abstract

We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses (“excita­tions”) to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the efficiency of these systems.