Sciweavers

Share
8 search results - page 1 / 2
» "Minions"
Sort
View
ECAI
2006
Springer
10 years 3 months ago
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....
Ian P. Gent, Christopher Jefferson, Ian Miguel
CP
2006
Springer
10 years 3 months ago
Watched Literals for Constraint Propagation in Minion
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide...
Ian P. Gent, Christopher Jefferson, Ian Miguel
SARA
2007
Springer
10 years 6 months ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
MM
2004
ACM
92views Multimedia» more  MM 2004»
10 years 5 months ago
"Minions"
Brian Ireson
AAAI
2007
10 years 2 months ago
Data Structures for Generalised Arc Consistency for Extensional Constraints
Extensional (table) constraints are an important tool for attacking combinatorial problems with constraint programming. Recently there has been renewed interest in fast propagatio...
Ian P. Gent, Christopher Jefferson, Ian Miguel, Pe...
books