On a search problem related to branch-and-bound procedures | IEEE Conference Publication | IEEE Xplore