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