Repositorio de producción científica de la Universidad de Sevilla

Uniform Solution to QSAT Using Polarizationless Active Membranes


Advanced Search
Opened Access Uniform Solution to QSAT Using Polarizationless Active Membranes
Show item statistics
Export to
Author: Alhazov, Artiom
Pérez Jiménez, Mario de Jesús
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2006
Published in: Proceedings of the Fourth Brainstorming Week on Membrane Computing, vol.I, 29-40. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2006
ISBN/ISSN: 8461106814
Document type: Presentation
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 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.
Size: 207.0Kb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)