Parallel depth first search. Part I. implementation
International Journal of Parallel Programming
Single-Agent Parallel Window Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
A SIMD approach to parallel heuristic search
Artificial Intelligence
Randomized parallel algorithms for backtrack search and branch-and-bound computation
Journal of the ACM (JACM)
Scalable load balancing strategies for parallel A* algorithms
Journal of Parallel and Distributed Computing - Special issue on scalability of parallel algorithms and architectures
PRA*: massively parallel heuristic search
Journal of Parallel and Distributed Computing
Scalable Global and Local Hashing Strategies for Duplicate Pruning in Parallel A* Graph Search
IEEE Transactions on Parallel and Distributed Systems
Transposition table driven work scheduling in distributed search
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Parallelizing the Murϕ Verifier
Formal Methods in System Design - Special issue on CAV '97
Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Disjoint pattern database heuristics
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search
IEEE Transactions on Parallel and Distributed Systems
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Distributed-Memory Model Checking with SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Parallelizing the Murphi Verifier
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Distributed Game-Tree Search Using Transposition Table Driven Work Scheduling
ICPP '02 Proceedings of the 2002 International Conference on Parallel Processing
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
A Parallel Monte-Carlo Tree Search Algorithm
CG '08 Proceedings of the 6th international conference on Computers and Games
Linear-time disk-based implicit graph search
Journal of the ACM (JACM)
Parallel and distributed model checking in Eddy
International Journal on Software Tools for Technology Transfer (STTT)
Efficient large-scale model checking
IPDPS '09 Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing
Best-first frontier search with delayed duplicate detection
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Structured duplicate detection in external-memory graph search
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Sequential and parallel algorithms for frontier A* with delayed duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Domain-independent structured duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Cost-optimal external planning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Large-scale parallel breadth-first search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Parallel structured duplicate detection
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Macro-FF: improving AI planning with automatically learned macro-operators
Journal of Artificial Intelligence Research
Adaptive parallel iterative deepening search
Journal of Artificial Intelligence Research
Best-first heuristic search for multi-core machines
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Best-first heuristic search for multicore machines
Journal of Artificial Intelligence Research
Evaluations of hash distributed A* in optimal sequence alignment
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Hi-index | 0.00 |
Large-scale, parallel clusters composed of commodity processors are increasingly available, enabling the use of vast processing capabilities and distributed RAM to solve hard search problems. We investigate Hash-Distributed A^@? (HDA^@?), a simple approach to parallel best-first search that asynchronously distributes and schedules work among processors based on a hash function of the search state. We use this approach to parallelize the A^@? algorithm in an optimal sequential version of the Fast Downward planner, as well as a 24-puzzle solver. The scaling behavior of HDA^@? is evaluated experimentally on a shared memory, multicore machine with 8 cores, a cluster of commodity machines using up to 64 cores, and large-scale high-performance clusters, using up to 2400 processors. We show that this approach scales well, allowing the effective utilization of large amounts of distributed memory to optimally solve problems which require terabytes of RAM. We also compare HDA^@? to Transposition-table Driven Scheduling (TDS), a hash-based parallelization of IDA^@?, and show that, in planning, HDA^@? significantly outperforms TDS. A simple hybrid which combines HDA^@? and TDS to exploit strengths of both algorithms is proposed and evaluated.