Presentation
Uniform Solution to QSAT Using Polarizationless Active Membranes
Author/s | Alhazov, Artiom
Pérez Jiménez, Mario de Jesús |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2006 |
Deposit Date | 2016-03-07 |
Published in |
|
ISBN/ISSN | 8461106814 |
Abstract | It is known that the satisfiability problem (SAT) can be solved a semi-
uniform family of deterministic polarizationless P systems with active membranes with
non-elementary membrane division. We present a double improvement ... It is known that the satisfiability problem (SAT) can be solved 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. |
Funding agencies | Ministerio de Educación y Ciencia (MEC). España |
Project ID. | TIN2005-09345-C04-01 |
Files | Size | Format | View | Description |
---|---|---|---|---|
artiom.pdf | 207.0Kb | [PDF] | View/ | |