Show simple item record

Presentation

dc.creatorPortillo Fernández, José Ramónes
dc.creatorRodrigues, J. I.es
dc.date.accessioned2022-07-29T08:43:28Z
dc.date.available2022-07-29T08:43:28Z
dc.date.issued2007
dc.identifier.citationPortillo Fernández, J.R. y Rodrigues, J.I. (2007). PURL: A new polynomial-time solvable class of satisfiability. En V Encuentro andaluz de Matemática Discreta (195-202), La Línea de la Concepción, Cádiz: Universidad de Cádiz.
dc.identifier.isbn978-84-9828-133-0es
dc.identifier.urihttps://hdl.handle.net/11441/135992
dc.description.abstractIn this work a new polynomial-time solvable class of satisfiability PURL ( PropUnit RemoveLiterals) is presented, based on natural extensions of the known con cepts of the l-neighbourhood of a clause and removable literal. The algorithm Remove Literals is also shown which determines if a formula in PURL is satisfiable. The PURL class is a proper superset of all previously known polynomial-time solvable classes. The study of this class is motivated by the resolution of geometric problems.es
dc.description.sponsorshipJunta de Andalucía PAI-FQM-0164es
dc.formatapplication/pdfes
dc.format.extent8es
dc.language.isoenges
dc.publisherUniversidad de Cádizes
dc.relation.ispartofV Encuentro andaluz de Matemática Discreta (2007), pp. 195-202.
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectSATes
dc.subjectSatisfiabilityes
dc.subjectCNF-Jormnlaes
dc.subjectPropUnttes
dc.subjectPURLes
dc.titlePURL: A new polynomial-time solvable class of satisfiabilityes
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 Matemática Aplicada I (ETSII)es
dc.relation.projectIDPAI-FQM-0164es
dc.relation.publisherversionhttps://tiendaeditorial.uca.es/gb/sales-catalog/2811-avances-en-matematica-discreta-en-andalucia-v-encuentro-andaluz-de-matematica-discreta-la-linea-de-la-concepcion-cadiz-.htmles
dc.contributor.groupUniversidad de Sevilla. FQM-164: Matemática Discreta: Teoría de Grafos y Geometría Computacionales
dc.publication.initialPage195es
dc.publication.endPage202es
dc.eventtitleV Encuentro andaluz de Matemática Discretaes
dc.eventinstitutionLa Línea de la Concepción, Cádizes
dc.relation.publicationplaceCádiz, Españaes
dc.identifier.sisius7789186es
dc.contributor.funderJunta de Andalucíaes

FilesSizeFormatViewDescription
Páginas desde978-84-9828-133-0 ...3.425MbIcon   [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