Karakashian S, Woodward R, Choueiry B. Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. AAAI [Internet]. 2013Jun.30 [cited 2024May3];27(1):466-73. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8594