Yanjun Zhang A. Ortynski Efficiency of Randomized Parallel Backtrack Search 14-28 1999 24 Algorithmica 1 http://link.springer.de/link/service/journals/00453/bibs/24n1p14.html db/journals/algorithmica/algorithmica24.html#ZhangO99