Karakashian, Shant, Robert Woodward, and Berthe Choueiry. 2013. “Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition”. Proceedings of the AAAI Conference on Artificial Intelligence 27 (1):466-73. https://doi.org/10.1609/aaai.v27i1.8594.