Extensible Automated Constraint Modelling

Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich

AAAI 2011 pp. 4-11

doi:10.1609/AAAI.V25I1.7820 /aaai/2011/akgun2011aaai-extensible/

Abstract

In constraint solving, a critical bottleneck is the formulation of aneffective constraint model of an input problem. The Conjure system describedin this paper, a substantial step forward over prototype versions of Conjurepreviously reported, makes a valuable contribution to the automation ofconstraint modelling by automatically producing constraint models from theirspecifications in the abstract constraint specification language Essence. Aset of rules is used to refine an abstract specification into a concreteconstraint model. We demonstrate that this set of rules is readily extensibleto increase the space of possible constraint models Conjure can produce. Ourempirical results confirm that Conjure can reproduce successfully the kernelsof the constraint models of 32 benchmark problems found in the literature.

PDF AAAI Semantic Scholar

Cite

Text

Akgun et al. "Extensible Automated Constraint Modelling." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.7820

Markdown

[Akgun et al. "Extensible Automated Constraint Modelling." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/akgun2011aaai-extensible/) doi:10.1609/AAAI.V25I1.7820

BibTeX

@inproceedings{akgun2011aaai-extensible,
  title     = {{Extensible Automated Constraint Modelling}},
  author    = {Akgun, Ozgur and Miguel, Ian and Jefferson, Christopher and Frisch, Alan M. and Hnich, Brahim},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {4-11},
  doi       = {10.1609/AAAI.V25I1.7820},
  url       = {https://mlanthology.org/aaai/2011/akgun2011aaai-extensible/}
}