Proof Complexity Lower Bounds from Algebraic Circuit Complexity. / Forbes, Michael; Shpilka, Amir; Tzameret, Iddo; Wigderson, Avi.
Theory of Computation (ToC) . 2017. p. 1.Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
| Original language | English |
|---|---|
| Title of host publication | Theory of Computation (ToC) |
| Pages | 1 |
| Number of pages | 78 |
| DOIs | |
| State | Published - 1 Oct 2017 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 28974747