Minion: A Fast Scalable Constraint Solver (2006)

by Ian P Gent, Christopher Jefferson, Ian Miguel
Venue:In ECAI