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

Research output: Working paper › Research

Original languageEnglish
Publication statusPublished - 1 Aug 2010

ID: 251872082