A Model Seeker: Extracting Global Constraint Models From Positive Examples
Automatic Generation of Implied Constraints