A formal analysis of why heuristic functions work

B. John Oommen, Luís G. Rueda. A formal analysis of why heuristic functions work. Artificial Intelligence, 164(1-2):1-22, 2005. [doi]

Abstract

Abstract is missing.