Theorem 3 — Lagrangian cuts from the local-copy reformulation are valid and tight at binary states

Initializing...

Theorem 3 — Lagrangian cuts from the local-copy reformulation are valid and tight at binary states · Prove2Me