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

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

18 Citations (Scopus)

Abstract

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)
PublisherSpringer
Pages184-199
Number of pages15
Volume4612
ISBN (Print)978-3-540-73579-3
DOIs
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science

Fingerprint

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