Zhou, R., and E. Hansen. “Dynamic State-Space Partitioning in External-Memory Graph Search”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 21, no. 1, Mar. 2011, pp. 290-7, doi:10.1609/icaps.v21i1.13479.