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
Original language | English |
---|---|
Title of host publication | Theory of Computation (ToC) |
Pages | 1 |
Number of pages | 78 |
DOIs | |
Publication status | Published - 1 Oct 2017 |
ID: 28974747