Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the maximal part in unrefinable partitions of triangular numbersAragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, MassimoAequationes mathematicae, 2022-12, Vol.96 (6), p.1339-1363 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Artigo
|
The complexity of proving that a graph is RamseyLauria, Massimo ; Pudlák, Pavel ; Rödl, Vojtěch ; Thapen, NeilCombinatorica (Budapest. 1981), 2017-04, Vol.37 (2), p.253-268 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
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 |
|
4 |
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 |