Extensible Automated Constraint Modelling

Ozgur Akgun; Ian James Miguel; Christopher Anthony Jefferson; Alan M. Frisch; Brahim Hnich

Extensible Automated Constraint Modelling

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
Publisher	AAAI Press
Pages	4-11
Number of pages	8
ISBN (Print)	978-157735508-3
Publication status	Published - 2011
Event	25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference - San Francisco, United States Duration: 7 Aug 2011 → 11 Aug 2011

Conference

Conference	25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference
Abbreviated title	AAAI-11 / IAAI-11
Country/Territory	United States
City	San Francisco
Period	7/08/11 → 11/08/11

Cite this

@inproceedings{ed9a3c921f40425b964217636a5af521,

title = "Extensible Automated Constraint Modelling",

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.",

author = "Ozgur Akgun and Miguel, {Ian James} and Jefferson, {Christopher Anthony} and Frisch, {Alan M.} and Brahim Hnich",

year = "2011",

language = "English",

isbn = "978-157735508-3",

pages = "4--11",

booktitle = "Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence",

publisher = "AAAI Press",

note = "25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 ; Conference date: 07-08-2011 Through 11-08-2011",

}

Akgun, O , Miguel, IJ , Jefferson, CA, Frisch, AM & Hnich, B 2011, Extensible Automated Constraint Modelling. in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press, pp. 4-11, 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, San Francisco, United States, 7/08/11.

TY - GEN

T1 - Extensible Automated Constraint Modelling

AU - Akgun, Ozgur

AU - Miguel, Ian James

AU - Jefferson, Christopher Anthony

AU - Frisch, Alan M.

AU - Hnich, Brahim

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3687

M3 - Conference contribution

SN - 978-157735508-3

SP - 4

EP - 11

BT - Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence

PB - AAAI Press

T2 - 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference

Y2 - 7 August 2011 through 11 August 2011

ER -

Extensible Automated Constraint Modelling

Abstract

Conference

Other files and links

Fingerprint

A Constraint Solver Synthesiser: A Constraint Solver Synthesiser

Cite this

Extensible Automated Constraint Modelling

Abstract

Conference

Other files and links

Fingerprint

Projects

A Constraint Solver Synthesiser: A Constraint Solver Synthesiser

Cite this