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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)


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 of a problem abstractly, i.e. without making modelling decisions. This specification is refined automatically by the Conjure system to a solver- independent 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.
Original languageEnglish
Title of host publicationProceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA)
Number of pages15
ISBN (Print)978-3-540-73579-3
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion'. Together they form a unique fingerprint.

Cite this