Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search | IEEE Journals & Magazine | IEEE Xplore