Global Constraint Catalog, 2nd Edition (revision a)

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

Ämnesord

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

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

Nyckelord

constraint programming

global constraint

catalogue

graph

automaton

first order formula

meta-data

ontology

symmetry

Publikations- och innehållstyp

vet (ämneskategori)

rap (ämneskategori)