A (Biased) Proof Complexity Survey for SAT Practitioners.

Jakob Nordstrm

Browse the full SAT paper archive.