Peter Hawkins Peter J. Stuckey A Hybrid BDD and SAT Finite Domain Constraint Solver. 103-117 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_8 db/conf/padl/padl2006.html#HawkinsS06