Randomized parallel algorithms for backtrack search and branch-and-bound computation (1993)

by Richard M Karp, Yanjun Zhang
Venue:Journal of the ACM