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

Shant Karakashian, Robert Woodward, and Berthe Y. Choueiry, "Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition," in Proceedings of AAAI 2013, 2013, pp. 466-473. [PDF] [BIB] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]