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