"Analyzing and Debugging Hierarchies of Multi-Way Local Propagation Constraints"
