Theorem 7.1 — the nonlinear 3-step lift-and-project equals split convexification, $P_j(K) = \mathrm{conv}(K \cap \{x_j \in \{0,1\}\})$

Initializing...

Theorem 7.1 — the nonlinear 3-step lift-and-project equals split convexification, $P_j(K) = \mathrm{conv}(K \cap \{x_j \in \{0,1\}\})$ · Prove2Me