TY  - RPRT
TI  - TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
AU  - Özgür Akgün
AU  - Ian P. Gent
AU  - Christopher Jefferson
AU  - Zeynep Kiziltan
AU  - Ian Miguel
AU  - Peter Nightingale
AU  - András Z. Salamon
AU  - Felix Ulrich-Oltean
PY  - 2025
DO  - 10.1613/jair.1.17032
UR  - https://arxiv.org/abs/2202.13250
ID  - 2202.13250
ER  -