Solving SAT with membrane creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José

Ponencia

dc.creator	Gutiérrez Naranjo, Miguel Ángel	es
dc.creator	Pérez Jiménez, Mario de Jesús	es
dc.creator	Romero Campero, Francisco José	es
dc.date.accessioned	2017-01-26T11:03:27Z
dc.date.available	2017-01-26T11:03:27Z
dc.date.issued	2005
dc.identifier.citation	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.
dc.identifier.uri	http://hdl.handle.net/11441/52810
dc.description.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.	es
dc.description.sponsorship	Ministerio de Ciencia y Tecnología TIC2002-04220-C03-01	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	University of Amsterdam	es
dc.relation.ispartof	Computability in Europe 2005 (CiE 2005): New Computational Paradigms : Report ILLC X-2005-01 (2005), p 82-91
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Solving SAT with membrane creation	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Tecnología Electrónica	es
dc.relation.projectID	TIC2002-04220-C03-01	es
dc.contributor.group	Universidad de Sevilla. TIC193 : Computación Natural	es
idus.format.extent	10	es
dc.publication.initialPage	82	es
dc.publication.endPage	91	es
dc.eventtitle	Computability in Europe 2005 (CiE 2005): New Computational Paradigms : Report ILLC X-2005-01	es
dc.eventinstitution	Amsterdam	es
dc.relation.publicationplace	Amsterdam	es
dc.contributor.funder	Ministerio de Ciencia y Tecnología (MCYT). España

Ficheros	Tamaño	Formato	Ver	Descripción
10.1.1.74.8195.pdf	234.9Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional