The authors extend functional lower bound techniques to obtain exponential-size lower bounds for fragments of the Ideal Proof System over large fields of positive characteristic, and give efficient constant-depth refutations for the same instances.
Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
New Bounds for the Ideal Proof System in Positive Characteristic
The authors extend functional lower bound techniques to obtain exponential-size lower bounds for fragments of the Ideal Proof System over large fields of positive characteristic, and give efficient constant-depth refutations for the same instances.