Otten, L.; Dechter, R. Anytime AND OR Depth-First Search for Combinatorial Optimization. SOCS 2021, 2, 117-124.