OPUS: An Efficient Admissible Algorithm for Unordered Search
A Formal BasisfortheHeuristic Determination of Minimum CostPaths