V. Mayer-Eichberger, “Just-in-Time Hierarchical Constraint Decomposition”, AAAI, vol. 29, no. 1, Mar. 2015.