Otten, L. and Dechter, R. 2021. Anytime AND/OR Depth-First Search for Combinatorial Optimization. Proceedings of the International Symposium on Combinatorial Search. 2, 1 (Aug. 2021), 117–124. DOI:https://doi.org/10.1609/socs.v2i1.18185.