Ponencia
Solving SAT with membrane creation
Autor/es | Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús Romero Campero, Francisco José |
Departamento | Universidad de Sevilla. Departamento de Tecnología Electrónica |
Fecha de publicación | 2005 |
Fecha de depósito | 2017-01-26 |
Publicado en |
|
Resumen | 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 ... 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. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España |
Identificador del proyecto | TIC2002-04220-C03-01 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
10.1.1.74.8195.pdf | 234.9Kb | [PDF] | Ver/ | |