Karakashian, S., Woodward, R., & Choueiry, B. (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-473. https://doi.org/10.1609/aaai.v27i1.8594