Global Constraint Catalog has been updated
The great Global Constraint Catalog has been updated.
The PDF version (about 20Mb) of the catalog is: Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon: Global Constraint Catalog 2nd Edition, Working version of SICS Technical Report T2010:07, ISSN: 1100-3154, ISRN: SICS-T–2010/07-SE (November 22, 2010).
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.
The website (managed by Sophie Demassey): Global Constraint Catalog.
Here is the changelog:
2010-11-18 working version update: 354 constraints
- new constraints: abs_value, same_sign and opposite_sign; consecutive_groups_of_ones, consecutive_values; in_interval_reified.
- electronic catalogue, modified description field See also providing links to semanticaly related global constraints: the related constraints are now grouped according to their relation type (e.g. is implied by or is a soft variant of).
- electronic catalogue, new description field Symmetries describing symmetries between the arguments of the constraint.
- electronic catalogue, new description field Typical describing the conditions typically satisfied by the arguments of the constraint (e.g. alldifferent has at least 2 variables in argument) in progress.
- new exercices of modelisation with global constraints.
- update of the correspondence tables with constraint systems.
- add MathJax+MathML javascript library for rendering mathematics.
- change to the open serif font family Fontin by Jos Buivenga.
- extract all included images.
Great work, and very useful additions. I especially like the new exercices of modelisation with global constraints.