Correction to: Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs Dmitry ItsyksonArtur RiazanovPetr Smirnov Correction 17 November 2021 Article: 16
Factorization of Polynomials Given by Arithmetic Branching Programs Amit Sinhababu Thomas Thierauf OriginalPaper Open access 15 October 2021 Article: 15
Lower Bounds for Arithmetic Circuits via the Hankel Matrix Nathanaël FijalkowGuillaume LagardeOlivier Serre OriginalPaper 08 October 2021 Article: 14
Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs Dmitry ItsyksonArtur RiazanovPetr Smirnov OriginalPaper 27 August 2021 Article: 13
An Exponential Separation Between MA and AM Proofs of Proximity Tom GurYang P. LiuRon D. Rothblum OriginalPaper Open access 18 August 2021 Article: 12
Nondeterministic and Randomized Boolean Hierarchies in Communication Complexity Toniann PitassiMorgan ShirleyThomas Watson OriginalPaper 02 July 2021 Article: 10