A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)

Open in new window