Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Narrow Proofs May Be Maximally LongAtserias, Albert ; Lauria, Massimo ; Nordström, JakobACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]ACMTexto completo disponível |
|
12 |
Material Type: Artigo
|
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer gamesBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInformation processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
13 |
Material Type: Artigo
|
A Characterization of Tree-Like Resolution SizeBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoElectronic colloquium on computational complexity, 2012 (161)Texto completo disponível |
|
14 |
Material Type: Artigo
|
A characterization of tree-like Resolution sizeBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInformation processing letters, 2013-09, Vol.113 (18), p.666-671 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
15 |
Material Type: Artigo
|
A characterization of tree-like Resolution sizeBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInsurance, mathematics & economics, 2013-09, Vol.113 (18), p.666 [Periódico revisado por pares]Amsterdam: Elsevier Sequoia S.ATexto completo disponível |
|
16 |
Material Type: Artigo
|
Parameterized Complexity of DPLL Search ProceduresBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-21 [Periódico revisado por pares]ACMTexto completo disponível |
|
17 |
Material Type: Artigo
|
Parameterized Bounded-Depth Frege Is not OptimalBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo ; Razborov, Alexander AACM transactions on computation theory, 2012-09, Vol.4 (3), p.1-16 [Periódico revisado por pares]ACMTexto completo disponível |
|
18 |
Material Type: Artigo
|
On vanishing sums of roots of unity in polynomial calculus and sum-of-squaresBonacina, Ilario ; Galesi, Nicola ; Lauria, MassimoComputational complexity, 2023-12, Vol.32 (2), Article 12 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
19 |
Material Type: Artigo
|
Minimum-Energy Broadcast and disk cover in grid wireless networksCalamoneri, Tiziana ; Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Silvestri, RiccardoTheoretical computer science, 2008-06, Vol.399 (1), p.38-53 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
20 |
Material Type: Artigo
|
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey TautologiesCarlucci, Lorenzo ; Galesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-25 [Periódico revisado por pares]ACMTexto completo disponível |