Algorithm for finding shortest paths by simultaneously searching from the source and destination until both searches meet