Conference Proceedings

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

I Abio, R Nieuwenhuis, A Oliveras, E Rodriguez-Carbonell, PJ Stuckey

Principles and Practice of Constraint Programming | Springer Verlag | Published : 2013


Awarded by MEC/MICINN

Awarded by DFG

Funding Acknowledgements

First four authors partially supported by MEC/MICINN under SweetLogics project (TIN 2010-21062-C02-01). Abio is also supported by DFG Graduiertenkolleg 1763 (QuantLA). 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.