Parallel Randomized State-Space Search | IEEE Conference Publication | IEEE Xplore