monoidal cut strengthening and generalized mixed - integer rounding for disjunctive programs ∗ .
Branch-and-cut for linear programs with overlapping SOS1 constraints