Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Amit Metodi, Michael Codish, Peter J Stuckey
Journal Of Artificial Intelligence Research, Volume 46, pages 303-341, 2013 | AI ACCESS FOUNDATION | Published : 2013
We thank Vitaly Lagoon for the many insightful discussions concerning this research. NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence Program.