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 proceedingOther contribution

Published
Original languageEnglish
Title of host publicationTheory of Computation (ToC)
Pages1
Number of pages78
DOIs
StatePublished - 1 Oct 2017
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 28974747