Otten, Lars, and Rina Dechter. “Anytime AND OR Depth-First Search for Combinatorial Optimization”. Proceedings of the International Symposium on Combinatorial Search 2, no. 1 (August 19, 2021): 117–124. Accessed May 30, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/18185.