- DokumenOptimality of size-degree trade-offs for Polynomial Calculusdiunggah olehMassimoL
- DokumenParis-Harrington tautologiesdiunggah olehMassimoL
- DokumenParameterized Complexity of DPLL Search Proceduresdiunggah olehMassimoL
- DokumenParameterized Bounded-Depth Frege is Not Optimaldiunggah olehMassimoL
- DokumenOn the automatizability of Polynomial Calculusdiunggah olehMassimoL