White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

The Rules of Constraint Modelling

Frisch, A.M., Jefferson, C., Martinez Hernandez, B. and Miguel, I. (2005) The Rules of Constraint Modelling. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence. IJCAI-05, 30 JULY - 5 AUGUST 2005, Edinburgh, Scotland. , pp. 109-116.

Full text not available from this repository.


Many and diverse combinatorial problems have been solved successfully using finite-domain constraint programming. However, to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction or optimisation problem. Since constraints provide a rich language, typically many alternative models exist. Formulating a good model therefore requires a great deal of expertise. This paper describes CONJURE, a system that refines a specification of a problem in the abstract constraint specification language ESSENCE into a set of alternative constraint models. Refinement is compositional: alternative constraint models are generated by composing refinements of the components of the specification. Experimental results demonstrate that CONJURE is able to generate a variety of models for practical problems from their ESSENCE specifications.

Item Type: Proceedings Paper
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 06 Apr 2009 15:50
Last Modified: 06 Apr 2009 15:50
Published Version: http://www.ijcai.org/papers/1667.pdf
Status: Published
URI: http://eprints.whiterose.ac.uk/id/eprint/7351

Actions (repository staff only: login required)