Binary Integer Programming - Branching Previous Next
Since every variable now has been branched on, the two new subproblems correspond to individual solutions. The solution  is infeasible, so it is fathomed by Test 2. The algorithm would proceed by selecting the other solution, .