Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition (AAAI 13)