Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
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 |
|
4 |
Material Type: Artigo
|
Reversibility and Durability as Potential Indicators for Circular Building TechnologiesAntonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, FrancescaSustainability (Basel, Switzerland), 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]Multidisciplinary Digital Publishing InstituteTexto completo disponível |
|
5 |
Material Type: Artigo
|
Digital Twin Approach in Buildings: Future Challenges via a Critical Literature ReviewLauria, Massimo ; Azzalin, MariaBuildings (Basel), 2024-02, Vol.14 (2), p.376 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
6 |
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 |
|
7 |
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 |
|
8 |
Material Type: Artigo
|
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's TheoremLauria, MassimoACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
The Built Environment Plan 2.0Lauria, MassimoTechne (Florence, Italy : 2011), 2016-11 (12) [Periódico revisado por pares]Firenze University PressTexto completo disponível |
|
10 |
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 |