- Nicolas BeldiceanuCorresponding author, Email: Nicolas.Beldiceanu@mines-nantes.fr, École des Mines de Nantes, LINA CNRS UMR 6241, 4 rue Alfred Kastler, BP-20722, FR-44307 Nantes Cedex 3, France
- Mats CarlssonSICS, Box 1263, SE-16 429 Kista, Sweden
- Jean-Xavier RamponLINA, 2 rue de la Houssinière, BP-92208, FR-44322 Nantes Cedex 3, France
Working version of SICS Technical Report T2010:07
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.