Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Artigo
|
A note about k-DNF resolutionLauria, MassimoInformation processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Cliques enumeration and tree-like resolution proofsLauria, MassimoInformation processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Upper bounds on positional Paris–Harrington gamesCarlucci, Lorenzo ; Lauria, MassimoDiscrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
On semantic cutting planes with very small coefficientsLauria, Massimo ; Thapen, NeilInformation processing letters, 2018-08, Vol.136, p.70-75 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Verification and generation of unrefinable partitionsAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoInformation processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Artigo
|
On the bounded-hop MST problem on random Euclidean instancesClementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Rossi, Gianluca ; Silvestri, RiccardoTheoretical computer science, 2007-10, Vol.384 (2), p.161-167 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |