Hardness Amplification in Proof Complexity

Paul Beame, Trinh Huynh. Hardness Amplification in Proof Complexity. Electronic Colloquium on Computational Complexity (ECCC), 16:72, 2009. [doi]

Abstract

Abstract is missing.