Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Understanding Space in Proof Complexity: Separations and Trade-offs via SubstitutionsEli Ben-Sasson, Jakob Nordström. innovations 2011: 401-416 [doi] On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexityTrinh Huynh, Jakob Nordström. stoc 2012: 233-248 [doi]
The following publications are possibly variants of this publication: