The efficiency of randomized parallel backtrack search | IEEE Conference Publication | IEEE Xplore