BONACINA, ILARIO
BONACINA, ILARIO
DIPARTIMENTO DI INFORMATICA
A framework for space complexity in algebraic proof systems
2016 Bonacina, Ilario; Galesi, Nicola
Clique Is Hard on Average for Regular Resolution
2021 Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A.
Clique is hard on average for regular resolution
2018 Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander
MaxSAT Resolution with Inclusion Redundancy
2024 Bonacina, Ilario; Luisa Bonet, Maria; Lauria, Massimo
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
Redundancy Rules for MaxSAT
2025 Bonacina, Ilario; Luisa Bonet, Maria; Buss, Sam; Lauria, Massimo
Total space in resolution
2014 Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
Total space in resolution
2016 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 | 2021 | Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A. | |
| Clique is hard on average for regular resolution | 2018 | Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander | |
| MaxSAT Resolution with Inclusion Redundancy | 2024 | Bonacina, Ilario; Luisa Bonet, Maria; Lauria, Massimo | |
| 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 | |
| Redundancy Rules for MaxSAT | 2025 | Bonacina, Ilario; Luisa Bonet, Maria; Buss, Sam; Lauria, Massimo | |
| Total space in resolution | 2014 | Bonacina, Ilario; Galesi, Nicola; Thapen, Neil | |
| Total space in resolution | 2016 | Bonacina, Ilario; Galesi, Nicola; Thapen, Neil |