Parallel Branch-and-Bound Formulations for AND/OR Tree Search | IEEE Journals & Magazine | IEEE Xplore