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