Theorem 6.4 — strengthening a lift-and-project cut into a cut valid for the whole mixed 0-1 program

Initializing...

Theorem 6.4 — strengthening a lift-and-project cut into a cut valid for the whole mixed 0-1 program · Prove2Me