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.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.
| Item Type: | Proceedings Paper |
|---|---|
| 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 (login required)
 |
View Item |
