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

Standard

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

Harvard

Forbes, M, Shpilka, A, Tzameret, I & Wigderson, A 2017, Proof Complexity Lower Bounds from Algebraic Circuit Complexity. in Theory of Computation (ToC) . pp. 1. https://doi.org/10.4086/toc.2017.v013a001

APA

Forbes, M., Shpilka, A., Tzameret, I., & Wigderson, A. (2017). Proof Complexity Lower Bounds from Algebraic Circuit Complexity. In Theory of Computation (ToC) (pp. 1) https://doi.org/10.4086/toc.2017.v013a001

Vancouver

Forbes M, Shpilka A, Tzameret I, Wigderson A. Proof Complexity Lower Bounds from Algebraic Circuit Complexity. In Theory of Computation (ToC) . 2017. p. 1 https://doi.org/10.4086/toc.2017.v013a001

Author

Forbes, Michael ; Shpilka, Amir ; Tzameret, Iddo ; Wigderson, Avi. / Proof Complexity Lower Bounds from Algebraic Circuit Complexity. Theory of Computation (ToC) . 2017. pp. 1

BibTeX

@inbook{925b4856b7da475a97e5688d136abed5,
title = "Proof Complexity Lower Bounds from Algebraic Circuit Complexity",
keywords = "complexity theory, algebraic complexity",
author = "Michael Forbes and Amir Shpilka and Iddo Tzameret and Avi Wigderson",
year = "2017",
month = "10",
day = "1",
doi = "10.4086/toc.2017.v013a001",
language = "English",
pages = "1",
booktitle = "Theory of Computation (ToC)",

}

RIS

TY - CHAP

T1 - Proof Complexity Lower Bounds from Algebraic Circuit Complexity

AU - Forbes, Michael

AU - Shpilka, Amir

AU - Tzameret, Iddo

AU - Wigderson, Avi

PY - 2017/10/1

Y1 - 2017/10/1

KW - complexity theory

KW - algebraic complexity

U2 - 10.4086/toc.2017.v013a001

DO - 10.4086/toc.2017.v013a001

M3 - Other contribution

SP - 1

BT - Theory of Computation (ToC)

ER -