Extensible Automated Constraint Modelling

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Abstract

In constraint solving, a critical bottleneck is the formulation of an effective constraint model of a given problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of CONJURE previously reported, makes a valuable contribution to the automation of constraint modelling by automatically producing constraint models from their specifications in the abstract constraint specification language ESSENCE. A set of rules is used to refine an abstract specification into a concrete constraint model. We demonstrate that this set of rules is readily extensible to increase the space of possible constraint models CONJURE can produce. Our empirical results confirm that CONJURE can reproduce successfully the kernels of the constraint models of 32 benchmark problems found in the literature.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
PublisherAAAI Press
Pages4-11
Number of pages8
ISBN (Print)978-157735508-3
Publication statusPublished - 2011
Event25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference - San Francisco, United States
Duration: 7 Aug 201111 Aug 2011

Conference

Conference25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference
Abbreviated titleAAAI-11 / IAAI-11
Country/TerritoryUnited States
CitySan Francisco
Period7/08/1111/08/11

Fingerprint

Dive into the research topics of 'Extensible Automated Constraint Modelling'. Together they form a unique fingerprint.

Cite this