P
Initializing...
Theorem 8.4B — the converse: every simple disjunctive cut is a basic lift-and-project cut · Prove2Me