Journal article

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


Funding Acknowledgements

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.