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,
.