Articles under category:
Polynomial Calculus
Polynomial Calculus
|
Vol 21, Article 6 (pp 1-29)
Polynomial Calculus Space and Resolution Width by Nicola Galesi, Leszek A. Kołodziejczyk, and Neil Thapen |
|
Vol 21, Article 4 (pp 1-48)
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds by Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, and Marc Vinyals |
|
Vol 17, Article 10 (pp 1-88)
[CCC16 Spec Issue]
Proof Complexity Lower Bounds from Algebraic Circuit Complexity by Michael A. Forbes, Amir Shpilka, Iddo Tzameret, and Avi Wigderson |