Proof that Valid Cuts Do Not Remove Any Integer Feasible Solutions
It's easy to conflate adding a cut to the LP relaxation with its effect on the integer feasible set. The proof hinges on the fact that cuts are derived from properties of the *integer* feasible set, not the continuous relaxation.
Institutional Reference: Linear and Integer Programming
View Full Proof →