A* Search ~Ex.: Admissible Heuristic (Definition & Theorem) Optimality of A* (proof) COMPLEXITY: Original Files
