On the structure of linear programs with overlapping cardinality constraints
monoidal cut strengthening and generalized mixed - integer rounding for disjunctive programs ∗ .