Otten L, Dechter R. Anytime AND/OR Depth-First Search for Combinatorial Optimization. SOCS [Internet]. 2011 Jul. 15 [cited 2026 Jul. 18];2(1):117-24. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18185