- DocumentoOptimality of size-degree trade-offs for Polynomial Calculusenviado por
MassimoL
- DocumentoParis-Harrington tautologiesenviado por
MassimoL
- DocumentoParameterized Complexity of DPLL Search Proceduresenviado por
MassimoL
- DocumentoParameterized Bounded-Depth Frege is Not Optimalenviado por
MassimoL
- DocumentoOn the automatizability of Polynomial Calculusenviado por
MassimoL