Conjure Revisited: Towards Automated Constraint Modelling

Research output: Chapter in Book/Report/Conference proceedingChapter


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
Original languageEnglish
Title of host publicationModRef 2010 - The 9th International Workshop on Constraint Modelling and Reformulation
Publication statusPublished - 2010


Dive into the research topics of 'Conjure Revisited: Towards Automated Constraint Modelling'. Together they form a unique fingerprint.

Cite this