Heuristical branch-and-bound