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