Files in this item
Exploiting short supports for improved encoding of arbitrary constraints into SAT
Item metadata
dc.contributor.author | Akgün, Özgür | |
dc.contributor.author | Gent, Ian Philip | |
dc.contributor.author | Jefferson, Christopher Anthony | |
dc.contributor.author | Miguel, Ian James | |
dc.contributor.author | Nightingale, Peter William | |
dc.contributor.editor | Rueher, Michael | |
dc.date.accessioned | 2016-09-06T09:30:12Z | |
dc.date.available | 2016-09-06T09:30:12Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Akgün , Ö , Gent , I P , Jefferson , C A , Miguel , I J & Nightingale , P W 2016 , Exploiting short supports for improved encoding of arbitrary constraints into SAT . in M Rueher (ed.) , Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings . Lecture Notes in Computer Science , vol. 9892 , Springer , pp. 3-12 , 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) , Toulouse , France , 5/09/16 . https://doi.org/10.1007/978-3-319-44953-1_1 | en |
dc.identifier.citation | conference | en |
dc.identifier.isbn | 9783319449524 | |
dc.identifier.isbn | 9783319449531 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.other | PURE: 244287638 | |
dc.identifier.other | PURE UUID: 03feab99-4c45-44a4-9e13-87c269b809e0 | |
dc.identifier.other | Scopus: 84986182457 | |
dc.identifier.other | ORCID: /0000-0002-5052-8634/work/34029949 | |
dc.identifier.other | ORCID: /0000-0001-9519-938X/work/33166292 | |
dc.identifier.other | WOS: 000389019700002 | |
dc.identifier.other | ORCID: /0000-0003-2979-5989/work/60887534 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/68281428 | |
dc.identifier.uri | https://hdl.handle.net/10023/9436 | |
dc.description.abstract | Encoding to SAT and applying a highly efficient modern SAT solver is an increasingly popular method of solving finite-domain constraint problems. In this paper we study encodings of arbitrary constraints where unit propagation on the encoding provides strong reasoning. Specifically, unit propagation on the encoding simulates generalised arc consistency on the original constraint. To create compact and efficient encodings we use the concept of short support. Short support has been successfully applied to create efficient propagation algorithms for arbitrary constraints. A short support of a constraint is similar to a satisfying tuple however a short support is not required to assign every variable in scope. Some variables are left free to take any value. In some cases a short support representation is smaller than the table of satisfying tuples by an exponential factor. We present two encodings based on short supports and evaluate them on a set of benchmark problems, demonstrating a substantial improvement over the state of the art. | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartof | Principles and Practice of Constraint Programming | en |
dc.relation.ispartofseries | Lecture Notes in Computer Science | en |
dc.rights | © 2016, Springer. This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at link.springer.com / https://dx.doi.org/10.1007/978-3-319-44953-1_1 | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | NDAS | en |
dc.subject.lcc | QA75 | en |
dc.title | Exploiting short supports for improved encoding of arbitrary constraints into SAT | en |
dc.type | Conference item | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | The Royal Society | en |
dc.description.version | Postprint | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | https://doi.org/10.1007/978-3-319-44953-1_1 | |
dc.date.embargoedUntil | 2016-08-23 | |
dc.identifier.grantnumber | EP/H004092/1 | en |
dc.identifier.grantnumber | EP/K015745/1 | en |
dc.identifier.grantnumber | EP/M003728/1 | en |
dc.identifier.grantnumber | UF1204070 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.