Global Constraint Catalog, 2nd Edition (revision a)

Nicolas Beldiceanu (1) , Mats Carlsson (2) , Jean-Xavier Rampon (3)

1 TASC - Theory, Algorithms and Systems for Constraints
2 SICS
3 LINA - Laboratoire d'Informatique de Nantes Atlantique

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.

Domaines: Mathématique discrète [cs.DM]

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon. Global Constraint Catalog, 2nd Edition (revision a). 2011. ⟨hal-00754041⟩