Theorem 7.2 — iterating split convexification over 0-1 variables, $P_{i_1,\dots,i_t}(K) = \mathrm{conv}(K \cap \{x_{i_1},\dots,x_{i_t} \in \{0,1\}\})$

Initializing...

Theorem 7.2 — iterating split convexification over 0-1 variables, $P_{i_1,\dots,i_t}(K) = \mathrm{conv}(K \cap \{x_{i_1},\dots,x_{i_t} \in \{0,1\}\})$ · Prove2Me