Flerova, N.; Marinescu, R.; Dechter, R. Evaluating Weighted DFS Branch and Bound over Graphical Models. SOCS 2021, 5, 71-79.