P
Initializing...
Theorem 7.5 — iterating the Lovász–Schrijver operator $p$ times reaches the integer hull, $N^p(K) = \mathrm{conv}(K_0)$ · Prove2Me