Localizing & Bolstering Constraint Propagation in a Tree Decomposition
Localizing & Bolstering Constraint Propagation in a Tree Decomposition. Shant Karakashian , Robert Woodward & Berthe Y. Choueiry Paper & poster at AAAI 2013 PhD thesis of Shant Karakashian , ConSystLab , May 2013 Acknowledgments: Experiments conducted at UNL’s Holland Computing Center
430 views • 29 slides