Conference Proceedings

Hybrid BDD and SAT finite domain constraint solver

P Hawkins, PJ Stuckey, P VanHentenryck

Practical Aspects of Declarative Languages | SPRINGER-VERLAG BERLIN | Published : 2006