PURL: A new polynomial-time solvable class of satisfiability

Portillo Fernández, José Ramón; Rodrigues, J. I.

Ponencia

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

Ficheros	Tamaño	Formato	Ver	Descripción
Páginas desde978-84-9828-133-0 ...	3.425Mb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Artículos (Matemática Aplicada I)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional