Proof of Theorem 4 — under saturation, $P3\mid res1\cdot\cdot, p_j=1\mid C_{\max}$ is equivalent to 3-PARTITION

Initializing...

Proof of Theorem 4 — under saturation, $P3\mid res1\cdot\cdot, p_j=1\mid C_{\max}$ is equivalent to 3-PARTITION · Prove2Me