Mostrar el registro sencillo del ítem
Ponencia
Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
dc.creator | Aman, Bogdan | |
dc.creator | Ciobanu, Gabriel | |
dc.date.accessioned | 2016-01-26T08:59:14Z | |
dc.date.available | 2016-01-26T08:59:14Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 978-84-940056-4-0 | es |
dc.identifier.uri | http://hdl.handle.net/11441/33299 | |
dc.description.abstract | In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial con gurations (either al- phabet or structure) of exponential size are pre-computed by well-de ned P systems (P systems with replicated rewriting and P systems with active membranes and membrane creation, respectively) working in polynomial time. An important observation is that we specify how the pre-computed initial con gurations are constructed. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 63-72. Sevilla, E.T.S. de Ingeniería Informática 3-7 de Febrero, 2014, | es |
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 Active Membranes and Pre-Computed Initial Con gurations | 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 | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/33299 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
063_OpenActiveNP09.pdf | 107.0Kb | [PDF] | Ver/ | |