Edge partitioning in external-memory graph search

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2410-2416

  Zhou, Rong ^a   Hansen, Eric A ^b  

^a PALO ALTO RESEARCH CENTER   (United States)

^b MISSISSIPPI STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXTERNAL MEMORY; GRAPH SEARCH; GRAPH-SEARCH ALGORITHMS; LOCAL STRUCTURE; SCALE-UP; STRIPS PLANNING; STRUCTURED APPROACH;

ARTIFICIAL INTELLIGENCE;

LEARNING ALGORITHMS;

EID: 34548103186     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. S. Edelkamp, S. Jabbar, and S. Schrödl. External A*. In Proc. of the 27th German Conf. on Artificial Intelligence, pages 226-240, 2004.
2. P. Haslum and H. Geffner. Admissible heuristics for optimal planning. In Proc. of the 5th International Conference on AI Planning and Scheduling, pages 140-149, 2000.
3. R. Korf and P. Schultze. Largescale parallel breadth-first search. In Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05), pages 1380-1385, 2005.
4. R. Korf. Best-first frontier search with delayed duplicate detection. In Proc. of the 19th National Conf. on Artificial Intelligence (AAAI-04), pages 650-657, 2004.
5. K. Munagala and A. Ranade. I/O-complexity of graph algorithms. In Proc. of the 10th Symposium on discrete algorithms, pages 687-694, 1999.
6. U. Stern and D. Dill. Using magnetic disk instead of main memory in the mur(phi) verifier. In Proc. of the 10th International Conference on Computer-Aided Verification, pages 172-183, 1998.
7. R. Zhou and E. Hansen. Structured duplicate detection in external-memory graph search. In Proc. of the 19th National Conference on Artificial Intelligence (AAAI-04), pages 683-688, 2004.
8. R. Zhou and E. Hansen. External-memory pattern databases using structured duplicate detection. In Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05), pages 1398-1405, 2005.
9. R. Zhou and E. Hansen. Breadth-first heuristic search. Artificial Intelligence, 170(4-5):385-408, 2006. (Pubitemid 43262057)
10. R. Zhou and E. Hansen. Domain-independent structured duplicate detection. In Proc. of the 21st National Conference on Artificial Intelligence (AAAI-06), pages 1082-1087, 2006.