TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Open in new window