Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2010) Global Constraint Catalog, 2nd Edition. [SICS Report]
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 18Mb |
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: | 4041 |
| Deposited By: | Vicki Carleson |
| Deposited On: | 17 Nov 2010 13:41 |
| Last Modified: | 17 Nov 2010 13:41 |
Repository Staff Only: item control page
