Computational efficiency of parallel combinatorial OR-tree searches | IEEE Journals & Magazine | IEEE Xplore