Compiling finite domain constraints to sat with bee. (2012)

by Amit Metodi, Michael Codish
Venue:TPLP,