Global Constraint Catalog, 2nd Edition
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2010
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.