Branch-and-Cut
Valid inequality: an inequality satisfied by
all feasible solutions
Cut: a valid inequality that is not part of the
current formulation
Violated cut: a cut that is not satisfied by
the solution to the current LP relaxation