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 (July 15, 2011): 117–124. Accessed July 18, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/18185.