"Minion: A Fast Scalable Constraint Solver."

Ian P. Gent, Christopher Jefferson, Ian Miguel (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics