A Parallel Shortest Path Algorithm Based on Graph-Partitioning and Iterative Correcting
Introduction to Algorithms