A Critical Look at Experimental Evaluations of EBL
Machine Learning
Depth-first heuristic search on a SIMD machine
Artificial Intelligence
A SIMD approach to parallel heuristic search
Artificial Intelligence
Using hundreds of workstations to solve first-order logic problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Generating hard satisfiability problems
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
APHID: asynchronous parallel game-tree search
Journal of Parallel and Distributed Computing
Anomalies in parallel branch-and-bound algorithms
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
State of the Art in Parallel Search Techniques for Discrete Optimization Problems
IEEE Transactions on Knowledge and Data Engineering
A Novel Asynchronous Parallelism Scheme for First-Order Logic
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Adaptive parallel iterative deepening search
Journal of Artificial Intelligence Research
An optimal multiprocessor combinatorial auction solver
Computers and Operations Research
Partitioning SAT instances for distributed solving
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Partitioning Search Spaces of a Randomized Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Designing scalable parallel SAT solvers
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Learning algorithm portfolios for parallel execution
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Hi-index | 0.00 |
This paper describes nagging, a technique for parallelizing search in a heterogeneous distributed computing environment. Nagging exploits the speedup anomaly often observed when parallelizing problems by playing multiple reformulations of the problem or portions of the problem against each other. Nagging is both fault tolerant and robust to long message latencies. In this paper, we show how nagging can be used to parallelize several different algorithms drawn from the artificial intelligence literature, and describe how nagging can be combined with partitioning, the more traditional search parallelization strategy. We present a theoretical analysis of the advantage of nagging with respect to partitioning, and give empirical results obtained on a cluster of 64 processors that demonstrate nagging's effectiveness and scalability as applied to A* search, αβ minimax game tree search, and the Davis-Putnam algorithm.