Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2012) Global Constraint Catalog, 2nd Edition (revision a). [SICS Report]
![[img]](/secure/style/images/fileicons/application_pdf.png)
| PDF 12Mb |
Abstract
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 |
| ID Code: | 5195 |
| Deposited By: | Vicki Carleson |
| Deposited On: | 17 Feb 2012 16:50 |
| Last Modified: | 17 Feb 2012 16:50 |
Repository Staff Only: item control page
