home › event - dynamic state-space partitioning in external-memory graph search