AND/OR branch-and-bound for graphical models (2005)

by R Marinescu, R Dechter
Venue:In Proceedings of IJCAI