Uploads by MassimoL

Optimality of size-degree trade-offs for Polynomial Calculus

Paris-Harrington tautologies

Parameterized Complexity of DPLL Search Procedures

Parameterized Bounded-Depth Frege is Not Optimal

On the automatizability of Polynomial Calculus