• Nicolas BeldiceanuCorresponding author, Email:, É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

ISSN: 1100-3154

ISRN: SICS-T–2010/07-SE


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.

constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry.