dc.creator | Orellana Martín, David | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2021-01-22T08:44:01Z | |
dc.date.available | 2021-01-22T08:44:01Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | Orellana Martín, D., Valencia Cabrera, L. y Pérez Jiménez, M.d.J. (2020). An optimal solution to the SAT problem with tissue P systems. En BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing (91-100), Sevilla, España: Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla. | |
dc.identifier.uri | https://hdl.handle.net/11441/104075 | |
dc.description.abstract | In the framework of membrane computing, several frontiers of e ciency have
been found with respect to the resources that di erent families of P systems take to solve
a decision problem. Each of these frontiers provides a new way to tackle the P versus NP
problem. In this sense, optimal frontiers are needed in order to separate close variants of
P systems. In a previous work, an e cient solution to SAT was given in the framework
of P systems from T DC(3). In this work, we will provide an optimal solution to the SAT
problem in terms of length of the rules. | es |
dc.description.sponsorship | Ministerio de Industria, Economía y Competitividad TIN2017-89842-P | es |
dc.format | application/pdf | es |
dc.format.extent | 10 | es |
dc.language.iso | eng | es |
dc.publisher | Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla | es |
dc.relation.ispartof | BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing (2020), pp. 91-100. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | Tissue P Systems | es |
dc.subject | Symport/antiport rules | es |
dc.subject | SAT problem | es |
dc.title | An optimal solution to the SAT problem with tissue P systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
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 Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN2017-89842-P (MABICAP) | es |
dc.relation.publisherversion | http://www.gcn.us.es/18bwmc_proceedings | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.publication.initialPage | 91 | es |
dc.publication.endPage | 100 | es |
dc.eventtitle | BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Sevilla, España | es |
dc.contributor.funder | Ministerio de Economia, Industria y Competitividad (MINECO). España | es |