Binary Integer Programming - Branching Previous Next
Since the above (highlighted in purple) optimal solution for the LP-relaxation of the subproblem with  does not permit fathoming (5.75 > current incumbent solution of 4, highlighted in blue, the solution is feasible, and it is noninteger), the next step is to branch from this node with the next variable  as the branching variable. This is accomplished by clicking on the "Branch" button next to  in the table.