"Compiling finite domain constraints to SAT with BEE."

Amit Metodi, Michael Codish (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics