Short Proofs are Narrow - Resolution made Simple

Eli Ben-Sasson. Short Proofs are Narrow - Resolution made Simple. Electronic Colloquium on Computational Complexity (ECCC), 6(22), 1999. [doi]

Abstract

Abstract is missing.