Minion: A Fast Scalable Constraint Solver

By Ian P. Gent, Christopher Jefferson, Ian Miguel. European Conference on Artificial Intelligence, 2006

318 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/4b336dad1fdbfab99bbeae6ee1e5bc815ed23e9b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. J. Ara'ujo
2. Peter J. Cameron
3. Ben Steinberg
4. Peter James Stuckey
5. Gregory J. Duck
6. Ralph Becket
7. Nicholas Nethercote
8. Guido Tack

Citations in the corpus

• Between primitive and 2-transitive: Synchronization and its friends (2015, methodology): “(We performed the computation using the software systems GAP [56] and Minion [55].”
• MiniZinc: Towards a Standard CP Modelling Language (2007, methodology): “MiniZinc is expressive and concise, and FlatZinc allows a similarly easy implementation for solver writers. njn: FlatZinc is similar to Minion’s format, worth mentioning?”