research
∙
10/31/2022
The power of the Binary Value Principle
The (extended) Binary Value Principle (eBVP: ∑_i=1^n x_i2^i-1 = -k for k...
research
∙
10/12/2020
A Lower Bound for Polynomial Calculus with Extension Rule
In this paper we study an extension of the Polynomial Calculus proof sys...
research
∙
11/15/2019