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

Publikation: Working paper › Forskning