Proof Complexity and the Kneser-Lovsz Theorem.

Gabriel Istrate, Adrian Craciun

Browse the full SAT paper archive.