Theorem 8.7 — the rank of $P$ w.r.t. L&P, simple disjunctive, strengthened L&P and MIG cuts is at most $p$

Initializing...

Theorem 8.7 — the rank of $P$ w.r.t. L&P, simple disjunctive, strengthened L&P and MIG cuts is at most $p$ · Prove2Me