Show simple item record

dc.contributor.authorBéjar Torres, Ramón
dc.contributor.authorCabiscol i Teixidó, Alba
dc.contributor.authorFernàndez Camon, César
dc.contributor.authorManyà Serres, Felip
dc.contributor.authorGomes, Carla
dc.date.accessioned2016-06-23T08:15:26Z
dc.date.issued2001
dc.identifier.issn1571-0653
dc.identifier.urihttp://hdl.handle.net/10459.1/57271
dc.description.abstractWe present Regular-SAT, an extension of Boolean Satisfiability based on a class of many-valued CNFform ulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT results and apply them to Regular-SAT. In addition, Regular-SAT has a number of advantages over Boolean SAT. Most importantly, it produces more compact encodings that capture problem structure more naturally. Furthermore, its simplicity allows us to develop Regular-SAT solvers that are competitive with SAT and CSP procedures. We present a detailed performance analysis of Regular-SAT on several benchmark domains. These results show a clear computational advantage of using a Regular- SAT approach over a pure Boolean SAT or CSP approach, at least on the domains under consideration. We therefore believe that an approach based on Regular-SAT provides a compelling intermediate approach between SAT and CSPs, bringing together some of the best features of each paradigm.ca_ES
dc.language.isoengca_ES
dc.publisherElsevierca_ES
dc.relation.isformatofReproducció del document publicat a https://doi.org/10.1016/S1571-0653(04)00336-1ca_ES
dc.relation.ispartofElectronic Notes in Discrete Mathematics, 2001, vol. 9, p. 392-407ca_ES
dc.rights(c) Elsevier, 2001ca_ES
dc.subjectSatisfiabilityca_ES
dc.subjectMany–valued logicsca_ES
dc.titleExtending the Reach of SAT with Many-Valued Logicsca_ES
dc.typearticleca_ES
dc.identifier.idgrec020367
dc.type.versionacceptedVersionca_ES
dc.rights.accessRightsinfo:eu-repo/semantics/restrictedAccessca_ES
dc.identifier.doihttps://doi.org/10.1016/S1571-0653(04)00336-1
dc.date.embargoEndDate10000-01-01


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record