Efficient branch-and-bound algorithms on a two-level memory system | IEEE Journals & Magazine | IEEE Xplore