Short Proofs Are Narrow - Resolution Made Simple (Abstract)

Eli Ben-Sasson, Avi Wigderson. Short Proofs Are Narrow - Resolution Made Simple (Abstract). In IEEE Conference on Computational Complexity. pages 2, 1999. [doi]

Abstract

Abstract is missing.