DMCA

Compiling finite domain constraints to SAT with BEE (2012)

Cached

Download Links

by Amit Metodi , Michael Codish
Venue:TPLP
Citations:11 - 2 self