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

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

ID: 28974747