Theorem 11.26 — two strengthened GMI-type cuts $\alpha^+x\ge1$, $\alpha^-x\ge1$ for a 0-1 basic variable

Initializing...

Theorem 11.26 — two strengthened GMI-type cuts $\alpha^+x\ge1$, $\alpha^-x\ge1$ for a 0-1 basic variable · Prove2Me