View Item 

Show simple item record

Presentation

Opened Access
Uniform Solution to QSAT Using Polarizationless Active Membranes

dc.creatorAlhazov, Artiom
dc.creatorPérez Jiménez, Mario de Jesús
dc.date.accessioned2016-03-07T08:53:42Z
dc.date.available2016-03-07T08:53:42Z
dc.date.issued2006
dc.identifier.isbn8461106814es
dc.identifier.urihttp://hdl.handle.net/11441/36963
dc.description.abstractIt is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless P systems with active membranes with non-elementary membrane division. We present a double improvement of this result by showing that the satisfiability of a quantified boolean formula (QSAT) can be solved by a uniform family of P systems of the same kind.es
dc.description.sponsorshipMinisterio de Educación y Ciencia TIN2005-09345-C04-01
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherFénix Editoraes
dc.relation.ispartofProceedings of the Fourth Brainstorming Week on Membrane Computing, vol.I, 29-40. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2006es
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleUniform Solution to QSAT Using Polarizationless Active Membraneses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dcterms.identifierhttps://ror.org/03yxnpp24
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.relation.projectIDTIN2005-09345-C04-01
dc.contributor.groupUniversidad de Sevilla. TIC193: Computación Natural
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/36963
dc.contributor.funderMinisterio de Educación y Ciencia (MEC). España

FilesSizeFormatViewDescription
artiom.pdf207.0KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional