Depth-first iterative-deepening: an optimal admissible tree search

Depth-first iterative-deepening: an optimal admissible tree search