3.1. Which global constraints are included?
The global constraints of this catalogue come from the following sources:
Existing constraint systems like:
CHARME in C [OplobeduMarcovitchTourbier89],
ECLAIR [Platon03] in Claire,
IF/PROLOG in Prolog
Koalog in Java,
When available, the Systems slot of a global constraint entry of the catalogue provides the name of the corresponding global constraint in the context of the Choco, Gecode, JaCoP, MiniZinc, and SICStus systems.
Constraint programming articles mostly from conferences like:
The Principles and Practice of Constraint Programming (CP)
The International Joint Conference on Artificial Intelligence (IJCAI)
The National Conference on Artificial Intelligence (AAAI)
The International Conference on Logic Programming (ICLP)
The International Conference of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR)
Graph constraints from the CP(Graph) computation domain [Dooms06].
New constraints inspired by variations of existing constraints, practical applications, combinatorial problems, puzzles or discussions with colleagues.