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