S. Karakashian, R. Woodward, and B. Choueiry, “Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition”, AAAI, vol. 27, no. 1, pp. 466-473, Jun. 2013.