Global Constraint Catalog, 2nd Edition

• This report presents a catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Keyword

constraint programming

global constraint

catalogue

graph

automaton

first order formula

meta-data

ontology

symmetry

Publication and Content Type

vet (subject category)

rap (subject category)