A Hybrid BDD and SAT Finite Domain Constraint Solver.

Peter Hawkins, Peter J. Stuckey

Browse the full PADL paper archive.