@inproceedings{7e65f3dc3d3748a2a5125652cee3ccfb,
title = "Boolean equi-propagation for optimized SAT encoding",
abstract = "We present an approach to propagation based SAT encoding, Boolean equi-propagation, where constraints are modelled as Boolean functions which propagate information about equalities between Boolean literals. This information is then applied as a form of partial evaluation to simplify constraints prior to their encoding as CNF formulae. We demonstrate for a variety of benchmarks that our approach leads to a considerable reduction in the size of CNF encodings and subsequent speed-ups in SAT solving times.",
author = "Amit Metodi and Michael Codish and Vitaly Lagoon and Stuckey, {Peter J.}",
year = "2011",
month = sep,
day = "26",
doi = "10.1007/978-3-642-23786-7_47",
language = "American English",
isbn = "9783642237850",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "621--636",
booktitle = "Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings",
note = "17th International Conference on Principles and Practice of Constraint Programming, CP 2011 ; Conference date: 12-09-2011 Through 16-09-2011",
}