Ponencia
Uniform Solution to QSAT Using Polarizationless Active Membranes
Autor/es | Alhazov, Artiom
Pérez Jiménez, Mario de Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2006 |
Fecha de depósito | 2016-03-07 |
Publicado en |
|
ISBN/ISSN | 8461106814 |
Resumen | 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. |
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España |
Identificador del proyecto | TIN2005-09345-C04-01 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
artiom.pdf | 207.0Kb | [PDF] | Ver/ | |