Sfoglia per Autore
Membro di Comitato di Programma
2006 Galesi, Nicola
Ramsey Theory in Logic, Complexity and Combinatorics
2009 Galesi, Nicola
Membro di Ocmitato di Programma
2009 Galesi, Nicola
On the Automatizability of Polynomial Calculus
2010 Galesi, Nicola; Lauria, Massimo
Optimality of size-degree tradeoffs for polynomial calculus
2010 Galesi, Nicola; Lauria, Massimo
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover-Delayer games
2010 Olaf, Beyersdorff; Galesi, Nicola; Lauria, Massimo
Membro di Comitato di Programma
2010 Galesi, Nicola
Paris-Harrington tautologies
2011 Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo
Parameterized complexity of DPLL search procedures
2011 Olaf, Beyersdorff; Galesi, Nicola; Lauria, Massimo
Parameterized bounded-depth Frege is not optimal
2011 Olaf, Beyersdorff; Galesi, Nicola; Lauria, Massimo; Alexander A., Razborov:
Parameterized bounded-depth Frege is not optimal
2012 Olaf, Beyersdorff; Galesi, Nicola; Lauria, Massimo; Alexander A., Razborov
A characterization of tree-like Resolution size
2013 Beyersdorff, Olaf; Galesi, Nicola; Lauria, Massimo
Pseudo-Partitions, Transeversality and Locality: A combinatorial characterization for Space measure in Algebraic Systems
2013 Ilario, Bonacina; Galesi, Nicola
Parameterized Complexity of DPLL Search Procedures
2013 Olaf, Beyersdorff; Galesi, Nicola; Lauria, Massimo
Total space in resolution
2014 Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
Proofs of Space: When Space Is of the Essence
2014 Ateniese, Giuseppe; Bonacina, Ilario; Faonio, Antonio; Galesi, Nicola
The space complexity of cutting planes refutations
2015 Galesi, Nicola; Pudlák, Pavel; Thapen, Neil
Total space in resolution
2016 Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies
2016 Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo
A framework for space complexity in algebraic proof systems
2016 Bonacina, Ilario; Galesi, Nicola
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile