Short Proofs May Be Spacious: An Optimal Separation of Space and Length in Resolution.

Eli Ben-Sasson, Jakob Nordstrm

Browse the full FOCS paper archive.