Minion: A fast, scalable constraint solver. (2006)

by I P Gent, C Jefferson, I Miguel
Venue:In Proceedings of ECAI’06,