P
Initializing...
Theorem 8, p. 1435 — the hourglass cut (37) is valid for the PCPSP-C under full and partial integrality · Prove2Me