Karakashian, S.; Woodward, R.; Choueiry, B. Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. AAAI 2013, 27, 466-473.