The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems

Frisch, Alan M.; Grum, Matthew; Jefferson, Christopher; Hernández, Bernadette Martínez; Miguel, Ian

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems

Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 80-86.

Abstract

ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete mathematics. ESSENCE provides a high level of abstraction, much of which is the consequence of the provision of decision variables whose values can be combinatorial objects, such as tuples, sets, multisets, relations, partitions and functions. ESSENCE also allows these combinatorial objects to be nested to arbitrary depth, thus providing, for example, sets of partitions, sets of sets of partitions, and so forth. Therefore, a problem that requires finding a complex combinatorial object can be directly specified by using a decision variable whose type is precisely that combinatorial object.

Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, and Ian Miguel. 2007. The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 80–86. https://ijcai.org/proceedings/2007/11

@inproceedings{ijcai2007p11,
  title     = {The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems},
  author    = {Frisch, Alan M. and Grum, Matthew and Jefferson, Christopher and Hernández, Bernadette Martínez and Miguel, Ian},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {80--86},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/11},
}

TY  - CPAPER
TI  - The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
AU  - Frisch, Alan M.
AU  - Grum, Matthew
AU  - Jefferson, Christopher
AU  - Hernández, Bernadette Martínez
AU  - Miguel, Ian
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 80
EP  - 86
UR  - https://ijcai.org/proceedings/2007/11
ER  -