L. Otten and R. Dechter, “Anytime AND/OR Depth-First Search for Combinatorial Optimization”, SOCS, vol. 2, no. 1, pp. 117–124, Jul. 2011.