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 | |