Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2010) Global Constraint Catalog, 2nd Edition. [SICS Report]
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.
|Item Type:||SICS Report|
|Uncontrolled Keywords:||constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry|
|Deposited By:||Vicki Carleson|
|Deposited On:||17 Nov 2010 13:41|
|Last Modified:||17 Nov 2010 13:41|
Repository Staff Only: item control page