Minion: A Fast Scalable Constraint Solver

Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Ian P. Gent, Christopher Jefferson, Ian Miguel
• Keywords: Artificial Intelligence, Constraint Solver, Constraint Solving, Constraint Toolkits, ECAI 2006