Comparing search algorithms using sorting and hashing on disk and in memory
Best-first frontier search with delayed duplicate detection