Best-first heuristic search for multi-core machines

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 449-455

  Burns, Ethan ^a   Lemons, Seth ^a   Zhou, Rong ^b   Ruml, Wheeler ^a  

^a Univ of New Hampshire   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOCKS (FASTENERS); MODULAR ROBOTS;

BEST FIRST SEARCH; EMPIRICAL - COMPARISONS; HEURISTIC SEARCH; MULTI-CORE MACHINES; MULTI-CORE PROCESSOR; PARALLEL SEARCH; PARALLEL VERSION; SLIDING-TILE PUZZLES;

HEURISTIC ALGORITHMS;

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

References (14)

1. Stefan Edelkamp and Stefan Schrödl. Localizing A*. In AAAI-2000, pages 885-890.
2. Jason Evans. A scalable concurrent malloc(3) implementation for FreeBSD. In Proceedings of BSDCan 2006.
3. Matthew Evett, Ambuj Mahanti, Dana Nau, James Hendler, and James Hendler. PRA*: Massively parallel heuristic search. J. Par. and Dist. Computing, 25:133-143, 1995.
4. Ariel Felner, Sarit Kraus, and Richard E. Korf. KBFS: K best-first search. Annals of Math. and A. I., 39:2003.
5. Eric A. Hansen and Rong Zhou. Anytime heuristic search. JAIR, 28:267-297, 2007.
6. Peter E. Hart, Nils J. Nilsson, and Bertram Raphael. A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on Systems Science and Cybernetics, SSC-4(2):100-107, July 1968.
7. Patrik Haslum and Hctor Geffner. Admissible heuristics for optimal planning. In ICAPS, pages 140-149, 2000.
8. Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. 2002.
9. Curt Powley, Chris Ferguson, and Richard E. Korf. Parallel heuristic search: two approaches. In V. Kumar, P. S. Gopalakrishnan, and L. N. Kanal, eds, Parallel algorithms for machine intelligence and vision, pp 42-65. Springer, 1990.
10. Yuan Yu, Panagiotis Manolios, and Leslie Lamport. Model checking TLA+ specifications. In Correct Hardware Design and Verification Methods, pp 54-66. Springer, 1999.
11. Rong Zhou and Eric A. Hansen. Structured duplicate detection in external-memory graph search. In Proc. of AAAI-2004.
12. R. Zhou and E. Hansen. Domain-independent structured duplicate detection. In Proc. of AAAI- 2006, pages 1082-1087, 2006.
13. Rong Zhou and Eric A. Hansen. Breadth-first heuristic search. AIJ, 170(4-5):385-408, 2006.
14. Rong Zhou and Eric A. Hansen. Parallel structured duplicate detection. In Proc. of AAAI-2007.