Sciweavers

Share
SARA
2007
Springer

Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion

10 years 5 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 models of a given problem, and formulating an effective model requires a great deal of expertise. To reduce this bottleneck, the Essence language allows the specification blem abstractly, i.e. without making modelling decisions. This specification is refined automatically by the Conjure system to a solverindependent constraint modelling language Essence . However, there is still significant work involved in translating an Essence model for use with a particular constraint solver. This paper discusses this ‘tailoring’ process with reference to the constraint solver Minion.
Ian P. Gent, Ian Miguel, Andrea Rendl
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SARA
Authors Ian P. Gent, Ian Miguel, Andrea Rendl
Comments (0)
books