Tools for Dynamic Analysis and Debugging of Constraint Programs
Outils pour l'Analyse Dynamique et la mise au Point
de
Programmes avec Contraintes
Illustrative Examples
[All-different with 5 constraints] 
[3 days conference]
[Magic Series]
[Sendmore]
[Sorted]
[Shiploading]