@inproceedings{Shant:AAAI13,
  Author = {Shant Karakashian and Robert Woodward and Berthe Y. Choueiry},
  Title = {{Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition}},
  Year = 2013,
  Booktitle = {Proc.\ of AAAI~2013},
  Pages = {466-473},
  Keywords = {}}