Dynamic state-space partitioning in external-memory graph search

International Symposium on Combinatorial Search, SoCS 2009

Volumn , Issue , 2009, Pages

  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

DYNAMIC PARTITIONING; GRAPH SEARCH; GRAPH SEARCH ALGORITHM; LOCAL STRUCTURE; PROJECTION FUNCTION; SEARCH PERFORMANCE; SPACE CAPTURES; STATIC PARTITIONING;

HASH FUNCTIONS; RANDOM ACCESS STORAGE;

GRAPH THEORY;

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

References (9)

1. S. Edelkamp and D. Sulewski. Model checking via delayed duplicate detection on the GPU. Technical report, University of Dortmund, 2008.
2. S. Evangelista. Dynamic delayed duplicate detection for external memory model checking. In Proc. of the 15th Int. SPIN workshop, pages 77-94, 2008.
3. P. Haslum, M. Helmert, B. Bonet, A. Botea, and S. Koenig. Domain-independent construction of pattern database heuristics for cost-optimal planning. In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07), pages 1007-1012, 2007.
4. 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.
5. R. Korf. Linear-time disk-based implicit graph search. Journal of the ACM, 35(6), 2008.
6. R. Zhou and Eric Hansen. Structured duplicate detection in external-memory graph search. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), pages 683-688, 2004.
7. R. Zhou and E. Hansen. Breadthfirst heuristic search. Artificial Intelligence, 170(4-5):385- 408, 2006.
8. R. Zhou and E. Hansen. Domainindependent structured duplicate detection. In Proc. of the 21st National Conference on Artificial Intelligence (AAAI- 06), pages 1082-1087, 2006.
9. R. Zhou and Eric Hansen. Edge partitioning in external-memory graph search. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 2410-2416, 2007.