New methods for branch-and-bound algorithms