A hybrid BDD and SAT finite domain constraint solver (2006)

by P Hawkins, P J Stuckey
Venue:In Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages, volume 3819 of LNCS