Authors:
  • 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
Reference:

Working version of SICS Technical Report T2010:07

ISSN: 1100-3154

ISRN: SICS-T–2010/07-SE

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.

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