A Divide and Conquer Bidirectional Search: First Results
A Formal BasisfortheHeuristic Determination of Minimum CostPaths