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

Ian Philip Gent; Ian James Miguel; Andrea Rendl

doi:10.1007/978-3-540-73580-9_16

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

Ian Philip Gent, Ian James Miguel, Andrea Rendl

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA)
Publisher	Springer
Pages	184-199
Number of pages	15
Volume	4612
ISBN (Print)	978-3-540-73579-3
DOIs	https://doi.org/10.1007/978-3-540-73580-9_16
Publication status	Published - 2007

Publication series

Name	Lecture Notes in Computer Science

Access to Document

10.1007/978-3-540-73580-9_16

EPSRC Refinement-driven Transformation: Refinement-driven transformation for effective automatedconstraint modelling
Miguel, I. J. (PI) & Gent, I. P. (CoI)
EPSRC
27/09/06 → 26/09/09
Project: Standard

Cite this

@inproceedings{0eed611266cc48479fc445ef8c155e8f,

title = "Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion",

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 {\textquoteleft}tailoring{\textquoteright} process with reference to the constraint solver Minion.",

author = "Gent, {Ian Philip} and Miguel, {Ian James} and Andrea Rendl",

year = "2007",

doi = "10.1007/978-3-540-73580-9_16",

language = "English",

isbn = "978-3-540-73579-3",

volume = "4612",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "184--199",

booktitle = "Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA)",

address = "Netherlands",

}

Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion. / Gent, Ian Philip ; Miguel, Ian James; Rendl, Andrea.
Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA). Vol. 4612 Springer, 2007. p. 184-199 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Gent, Ian Philip

AU - Miguel, Ian James

AU - Rendl, Andrea

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-73580-9_16

DO - 10.1007/978-3-540-73580-9_16

M3 - Conference contribution

SN - 978-3-540-73579-3

VL - 4612

T3 - Lecture Notes in Computer Science

SP - 184

EP - 199

BT - Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA)

PB - Springer

ER -

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

Abstract

Publication series

Access to Document

Fingerprint

Projects

EPSRC Refinement-driven Transformation: Refinement-driven transformation for effective automatedconstraint modelling

Cite this