Minion: A Fast Scalable Constraint Solver

13 years 8 months ago

Download www.cs.st-andrews.ac.uk

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

Ian P. Gent, Christopher Jefferson, Ian Miguel

Real-time Traffic

Artificial Intelligence | Constraint Solver | Constraint Solving | Constraint Toolkits | ECAI 2006 |

claim paper

» Focused crawling with scalable ordinal regression solvers

» SimpleNPKL simple nonparametric kernel learning

» Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination

» Scalable exploration of functional dependency by interpolation and incremental SAT solving

» Automated Whitebox Fuzz Testing

» Emulationbased transient thermal modeling of 2D3D systemsonchip with active cooling

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	ECAI
Authors	Ian P. Gent, Christopher Jefferson, Ian Miguel

Comments (0)

Sciweavers

Minion: A Fast Scalable Constraint Solver

Artificial Intelligence | Constraint Solver | Constraint Solving | Constraint Toolkits | ECAI 2006 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers