Theorem 7.6 — the Sherali–Adams hierarchy reaches the integer hull, $K_p = \mathrm{conv}(K_0)$

Initializing...

Theorem 7.6 — the Sherali–Adams hierarchy reaches the integer hull, $K_p = \mathrm{conv}(K_0)$ · Prove2Me