Sciweavers

CORR
2010
Springer

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

13 years 11 months ago
Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions
Eli Ben-Sasson, Jakob Nordström
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Eli Ben-Sasson, Jakob Nordström
Comments (0)