Proof Complexity Lower Bounds from Algebraic Circuit Complexity

Publication: 
Theory of Computing, Theory of Computing 17(10), 2021, 1-88, DOI: 10.4086/toc.2021.v017a010
Proceedings of the Computational Complexity Conference (CCC) 2016, vol. 50, pp. 32:1-32:17, 2016. https://doi.org/10.4230/LIPIcs.CCC.2016.32
Electronic Colloquium on Computational Complexity (ECCC), 23: 98, 2016.
Year: 
2021
Files