Computing k-shortest path for nuclear spent fuel highway transportation