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
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.