Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition.