Minion: A Fast Scalable Constraint Solver.

Ian P. Gent, Christopher Jefferson, Ian Miguel

Browse the full ECAI paper archive.