Opened Access Solving SAT with membrane creation
Cites
Show item statistics
Icon
Export to
Author: Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Romero Campero, Francisco José
Department: Universidad de Sevilla. Departamento de Tecnología Electrónica
Date: 2005
Published in: Computability in Europe 2005 (CiE 2005): New Computational Paradigms : Report ILLC X-2005-01 (2005), p 82-91
Document type: Presentation
Abstract: Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in the compartmental structure of a living cell can be interpreted as computations. In this paper we present a solution to the SAT problem using Membrane Computing devices (P systems) where an exponential number of membranes can be created from objects in polynomial time.
Cite: Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Romero Campero, F.J. (2005). Solving SAT with membrane creation. En Computability in Europe 2005 (CiE 2005): New Computational Paradigms : Report ILLC X-2005-01 (82-91), Amsterdam: University of Amsterdam.
Size: 234.9Kb
Format: PDF

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

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

This item appears in the following Collection(s)