Mayer-Eichberger, V. Just-in-Time Hierarchical Constraint Decomposition. AAAI 2015, 29.