Hardness amplification in proof complexity.

Paul Beame, Trinh Huynh, Toniann Pitassi

Browse the full STOC paper archive.