Title | Uniform Solution of QSAT using polarizationless active membranes |
Publication Type | Journal Papers |
Year of Publication | 2007 |
Authors | Alhazov, A., & Pérez-Jiménez M. J. |
Journal Title | Lecture Notes in Computer Science |
Publisher | Springer |
Place Published | Amsterdam, The Netherlands |
Volume | 4664 |
Pages | 122-133 |
Abstract | It is known that the satisfiability problem (SAT) can be solved with a semi-uniform family of deterministic polarizationless P systems with active membranes with non–elementary membrane division. We present a double improvement of this result by showing that the satisfiability of a quantified Boolean formula (QSAT) can be solved by a uniform family of P systems of the same kind. |
URL | http://www.springerlink.com/index/567256806100784t.pdf |
ISSN Number | 0302-9743 |
DOI | 10.1007/978-3-540-74593-8 |