0% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
Parameterized Complexity of DPLL Search Procedures
Adicionado por MassimoL
Documento
Optimality of Size-Degree Trade-Offs For Polynomial Calculus
Adicionado por MassimoL
Documento
Paris-Harrington Tautologies
Adicionado por MassimoL
Documento
Parameterized Bounded-Depth Frege Is Not Optimal
Adicionado por MassimoL
Documento
On The Automatizability of Polynomial Calculus
Adicionado por MassimoL