Ilario Bonacina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Conditional Autarkies: Hard Formulas Made Easy. | Ilario Bonacina, Maria Luisa Bonet, Antonina Kolokolova, Massimo Lauria |
| 2026 | SAT | Beyond Core-Guided MaxSAT. | Ilario Bonacina, Jordi Levy, Ion Mikel Liberal |
| 2025 | SAT | Semi-Algebraic Proof Systems for QBF. | Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 2025 | SAT | Redundancy Rules for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria |
| 2025 | SAT | An Algebraic Approach to MaxCSP. | Ilario Bonacina, Jordi Levy |
| 2024 | IJCAI | Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint). | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2024 | SAT | MaxSAT Resolution with Inclusion Redundancy. | Ilario Bonacina, Maria Luisa Bonet, Massimo Lauria |
| 2023 | SAT | Polynomial Calculus for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2022 | LICS | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. | Ilario Bonacina, Maria Luisa Bonet |
| 2022 | MFCS | On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares. | Ilario Bonacina, Nicola Galesi, Massimo Lauria |
| 2018 | STOC | Clique is hard on average for regular resolution. | Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordstrm, Alexander A. Razborov |
| 2016 | ICALP | Total Space in Resolution Is at Least Width Squared. | Ilario Bonacina |
| 2014 | FOCS | Total Space in Resolution. | Ilario Bonacina, Nicola Galesi, Neil Thapen |
| 2014 | SCN | Proofs of Space: When Space Is of the Essence. | Giuseppe Ateniese, Ilario Bonacina, Antonio Faonio, Nicola Galesi |