dc.creator | Portillo Fernández, José Ramón | es |
dc.creator | Rodrigues, J. I. | es |
dc.date.accessioned | 2022-07-29T08:43:28Z | |
dc.date.available | 2022-07-29T08:43:28Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Portillo 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.isbn | 978-84-9828-133-0 | es |
dc.identifier.uri | https://hdl.handle.net/11441/135992 | |
dc.description.abstract | In 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.sponsorship | Junta de Andalucía PAI-FQM-0164 | es |
dc.format | application/pdf | es |
dc.format.extent | 8 | es |
dc.language.iso | eng | es |
dc.publisher | Universidad de Cádiz | es |
dc.relation.ispartof | V Encuentro andaluz de Matemática Discreta (2007), pp. 195-202. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | SAT | es |
dc.subject | Satisfiability | es |
dc.subject | CNF-Jormnla | es |
dc.subject | PropUntt | es |
dc.subject | PURL | es |
dc.title | PURL: A new polynomial-time solvable class of satisfiability | 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 Matemática Aplicada I (ETSII) | es |
dc.relation.projectID | PAI-FQM-0164 | es |
dc.relation.publisherversion | https://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-.html | es |
dc.contributor.group | Universidad de Sevilla. FQM-164: Matemática Discreta: Teoría de Grafos y Geometría Computacional | es |
dc.publication.initialPage | 195 | es |
dc.publication.endPage | 202 | es |
dc.eventtitle | V Encuentro andaluz de Matemática Discreta | es |
dc.eventinstitution | La Línea de la Concepción, Cádiz | es |
dc.relation.publicationplace | Cádiz, España | es |
dc.identifier.sisius | 7789186 | es |
dc.contributor.funder | Junta de Andalucía | es |