Dynamic State-Space Partitioning in External-Memory Graph Search

Open in new window