Lars Otten, Rina Dechter. Anytime AND/OR Depth-First Search for Combinatorial Optimization. In Daniel Borrajo, Maxim Likhachev, Carlos Linares López, editors, Proceedings of the Fourth Annual Symposium on Combinatorial Search, SOCS 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011. pages 117-124, AAAI Press, 2011. [doi]