Frisch, A.M., Jefferson, C., Martinez Hernandez, B. et al. (1 more author) (2005) The Rules of Constraint Modelling. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence. IJCAI-05, 30 Jul - 05 Aug 2005, Edinburgh, Scotland. , pp. 109-116.
Abstract
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | York RAE Import |
Date Deposited: | 06 Apr 2009 15:50 |
Last Modified: | 19 Dec 2022 13:20 |
Published Version: | http://www.ijcai.org/papers/1667.pdf |
Status: | Published |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:7351 |