On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity.

Trinh Huynh, Jakob Nordstrm

Browse the full STOC paper archive.