External memory algorithms and data structures: dealing with massive data
ACM Computing Surveys (CSUR)
Twenty-six moves suffice for Rubik's cube
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
Proceedings of the 2007 international workshop on Parallel symbolic computation
Scaling Search with Pattern Databases
Model Checking and Artificial Intelligence
Fast multiplication of large permutations for disk, flash memory and RAM
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Hi-index | 0.00 |
Substituting disk for RAM, disk-based computation is a way to increase working memory and achieve results that are not otherwise economical.