Tailoring solver-independent constraint models: A case study with Essence ′ and Minion (2007)

by Ian P Gent, Ian Miguel, Andrea Rendl
Venue:In Proceedings of SARA 2007