BONACINA, ILARIO
BONACINA, ILARIO
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.009 secondi).
A framework for space complexity in algebraic proof systems
2016 Bonacina, Ilario; Galesi, Nicola
Clique is hard on average for regular resolution
2018 Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander
Clique Is Hard on Average for Regular Resolution
2021 Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A.
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
2023 Bonacina, Ilario; Galesi, Nicola; Lauria, Massimo
On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares
2022 Bonacina, I.; Galesi, N.; Lauria, M.
Proofs of Space: When Space Is of the Essence
2014 Ateniese, Giuseppe; Bonacina, Ilario; Faonio, Antonio; Galesi, Nicola
Total space in resolution
2016 Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
Total space in resolution
2014 Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A framework for space complexity in algebraic proof systems | 2016 | Bonacina, Ilario; Galesi, Nicola | |
| Clique is hard on average for regular resolution | 2018 | Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander | |
| Clique Is Hard on Average for Regular Resolution | 2021 | Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A. | |
| On vanishing sums of roots of unity in polynomial calculus and sum-of-squares | 2023 | Bonacina, Ilario; Galesi, Nicola; Lauria, Massimo | |
| On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares | 2022 | Bonacina, I.; Galesi, N.; Lauria, M. | |
| Proofs of Space: When Space Is of the Essence | 2014 | Ateniese, Giuseppe; Bonacina, Ilario; Faonio, Antonio; Galesi, Nicola | |
| Total space in resolution | 2016 | Bonacina, Ilario; Galesi, Nicola; Thapen, Neil | |
| Total space in resolution | 2014 | Bonacina, Ilario; Galesi, Nicola; Thapen, Neil |