DMCA

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

by Peter Hawkins , Peter J. Stuckey
Venue:IN: PROCEEDINGS OF PADL.
Citations:15 - 5 self