R. Marinescu, J. Lee, A. Ihler, and R. Dechter, “Anytime Best+Depth-First Search for Bounding Marginal MAP”, AAAI, vol. 31, no. 1, Feb. 2017.