P

Initializing...

Theorem 4, p. 1433 — clique and lifted clique cuts are valid on pairwise f-incompatible (PCPSP-F) or p-incompatible (PCPSP-P) clusters · Prove2Me