Short Proofs Are Hard to Find.

Ian Mertz, Toniann Pitassi, Yuanhao Wei

Browse the full ICALP paper archive.