Return to Article Details Dynamic State-Space Partitioning in External-Memory Graph Search Download Download PDF