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

Solving SAT with Active Membranes and Pre-Computed Initial Con gurations

 

Advanced Search
 
Opened Access Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
Cites
Show item statistics
Icon
Export to
Author: Aman, Bogdan
Ciobanu, Gabriel
Date: 2014
Published in: Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 63-72. Sevilla, E.T.S. de Ingeniería Informática 3-7 de Febrero, 2014,
ISBN/ISSN: 978-84-940056-4-0
Document type: Presentation
Abstract: In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial con gurations (either al- phabet or structure) of exponential size are pre-computed by well-de ned P systems (P systems with replicated rewriting and P systems with active membranes and membrane creation, respectively) working in polynomial time. An important observation is that we specify how the pre-computed initial con gurations are constructed.
Size: 107.0Kb
Format: PDF

URI: http://hdl.handle.net/11441/33299

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

This item appears in the following Collection(s)