On the efficiency of parallel backtracking

This publication has 14 references indexed in Scilit:

• Automatic test pattern generation on parallel processors
  Parallel Computing, 1991
• A parallel branch and bound algorithm for test generation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
• Parallel Algorithms for Machine Intelligence and Vision
  Published by Springer Nature ,1990
• Performance of an OR-parallel logic programming system
  International Journal of Parallel Programming, 1988
• Search in Artificial Intelligence
  Published by Springer Nature ,1988
• Parallel depth first search. Part I. Implementation
  International Journal of Parallel Programming, 1987
• The average complexity of depth-first search with backtracking and cutoff
  IBM Journal of Research and Development, 1986
• Parallel Branch-and-Bound Formulations for AND/OR Tree Search
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Anomalies in parallel branch-and-bound algorithms
  Communications of the ACM, 1984
• MANIP—A Multicomputer Architecture for Solving Combinatonal Extremum-Search Problems
  IEEE Transactions on Computers, 1984