You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of St Andrews » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of St Andrews

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

ESSENCE : A constraint language for specifying combinatorial problems

Type

D - Journal article

DOI

10.1007/s10601-008-9047-y

Title of journal

Constraints

Article number

Volume number

Issue number

First page of article

268

ISSN of journal

1383-7133

Year of publication

2008

URL

Number of additional authors

Additional information

<11>The Essence constraint specification language described represents a significant advance towards automated constraint modelling, a grand challenge for the Constraint Programming field. Essence features a level of abstraction above that at which constraint modelling decisions are made. A user specifies a problem in terms of familiar concepts such as sets, relations, and functions without making the difficult step of deciding how they should be represented in a constraint model. A key feature of the language is support for decision variables with arbitrarily nested types, promoting concise problem specification. This directly influenced the subsequent development of the popular Zinc constraint language.

Interdisciplinary

Cross-referral requested

Research group

C - Artificial intelligence

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract