A Model Seeker: Extracting Global Constraint Models From Positive Examples
Scheduling a Major College Basketball Conference - Revisited