Long Proofs of (Seemingly) Simple Formulas.

Mladen Miksa, Jakob Nordstrm

Browse the full SAT paper archive.