Binary Integer Programming - Branching Previous Next
Since the LP-relaxation for the subproblem with  has no feasible solutions, the algorithm immediately fathoms this node (by Test 2). Notice that the objective for this node is "Infeasible". You would next select the node labelled "x2 = 0" to examine the other subproblem.