Otten, Lars, and Rina Dechter. “Anytime AND OR Depth-First Search for Combinatorial Optimization”. Proceedings of the International Symposium on Combinatorial Search, vol. 2, no. 1, Aug. 2021, pp. 117-24, doi:10.1609/socs.v2i1.18185.