Abstract
Automating the constraint modelling process is one of the
key challenges facing the constraints field, and one of the principal obstacles
preventing widespread adoption of constraint solving. This paper
focuses on the refinement-based approach to automated modelling, where
a user specifies a problem in an abstract constraint specification language
and it is then automatically refined into a constraint model. In particular,
we revisit the Conjure system that first appeared in prototype form
in 2005 and present a new implementation with a much greater coverage
of the specification language Essence
key challenges facing the constraints field, and one of the principal obstacles
preventing widespread adoption of constraint solving. This paper
focuses on the refinement-based approach to automated modelling, where
a user specifies a problem in an abstract constraint specification language
and it is then automatically refined into a constraint model. In particular,
we revisit the Conjure system that first appeared in prototype form
in 2005 and present a new implementation with a much greater coverage
of the specification language Essence
| Original language | English |
|---|---|
| Title of host publication | ModRef 2010 - The 9th International Workshop on Constraint Modelling and Reformulation |
| Publication status | Published - 2010 |