branchAndBound outline