Theorem 7, p. 1434 — the VRHS production cut (32) along a chain c₁ ≺ ⋯ ≺ c_n is valid for PCPSP-F, and for PCPSP-P under (33)

Initializing...

Theorem 7, p. 1434 — the VRHS production cut (32) along a chain c₁ ≺ ⋯ ≺ c_n is valid for PCPSP-F, and for PCPSP-P under (33) · Prove2Me