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), pp. 117–124. doi: 10.1609/socs.v2i1.18185.