research
∙
05/15/2022
Simple Hard Instances for Low-Depth Algebraic Proofs
We prove super-polynomial lower bounds on the size of propositional proo...
research
∙
05/16/2021
Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
In this paper we consider the relationship between monomial-size and bit...
research
∙
11/04/2018