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