Gene Sun, 22 Jan 2006 16:42:32 -0800
If you use A* search with a with a heuristic function that satisfies the optimality property, then the solution is certain to be as short as possible. Any good Artificial Intelligence reference will talk about the A* algorithm.