Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

Eli Ben-Sasson, Jakob Nordström. Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions. Electronic Colloquium on Computational Complexity (ECCC), 17:125, 2010. [doi]

Authors

Eli Ben-Sasson

This author has not been identified. Look up 'Eli Ben-Sasson' in Google

Jakob Nordström

This author has not been identified. Look up 'Jakob Nordström' in Google