Ilario Bonacina

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Space Complexity

Conjunctive Query Containment

Higher Dimensional

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria
Redundancy for MaxSAT. Electron. Colloquium Comput. Complex. (2024)
Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res. 79 (2024)
Ilario Bonacina, Maria Luisa Bonet, Massimo Lauria
MaxSAT Resolution with Inclusion Redundancy. SAT (2024)
Ilario Bonacina, Nicola Galesi, Massimo Lauria
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares. Comput. Complex. 32 (2) (2023)
Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
Polynomial Calculus for MaxSAT. SAT (2023)
Ilario Bonacina, Maria Luisa Bonet
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. LICS (2022)
Ilario Bonacina, Nicola Galesi, Massimo Lauria
On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares. MFCS (2022)
Ilario Bonacina, Nicola Galesi, Massimo Lauria
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares. Electron. Colloquium Comput. Complex. (2022)
Ilario Bonacina, Neil Thapen
A separation of PLS from PPP. Electron. Colloquium Comput. Complex. (2022)
Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander A. Razborov
Clique Is Hard on Average for Regular Resolution. J. ACM 68 (4) (2021)
Ilario Bonacina, Maria Luisa Bonet
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. Electron. Colloquium Comput. Complex. 28 (2021)
Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander A. Razborov
Clique Is Hard on Average for Regular Resolution. CoRR (2020)
Olaf Beyersdorff, Ilario Bonacina, Leroy Chew, Ján Pich
Frege Systems for Quantified Boolean Logic. J. ACM 67 (2) (2020)
Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander A. Razborov
Clique is hard on average for regular resolution. STOC (2018)
Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan
Space proof complexity for random 3-CNFs. Inf. Comput. 255 (2017)
Ilario Bonacina, Navid Talebanfard
Strong ETH and Resolution via Games and the Multiplicity of Strategies. Algorithmica 79 (1) (2017)
Ilario Bonacina
Total space in Resolution is at least width squared. Electron. Colloquium Comput. Complex. 23 (2016)
Ilario Bonacina, Navid Talebanfard
Improving resolution width lower bounds for k-CNFs with applications to the Strong Exponential Time Hypothesis. Inf. Process. Lett. 116 (2) (2016)
Ilario Bonacina, Nicola Galesi, Neil Thapen
Total Space in Resolution. SIAM J. Comput. 45 (5) (2016)
Ilario Bonacina
Space in weak propositional proof systems. Bull. EATCS 120 (2016)
Olaf Beyersdorff, Ilario Bonacina, Leroy Chew
Lower Bounds: From Circuits to QBF Proof Systems. ITCS (2016)
Ilario Bonacina
Total Space in Resolution Is at Least Width Squared. ICALP (2016)
Ilario Bonacina, Navid Talebanfard
Strong ETH and Resolution via Games and the Multiplicity of Strategies. IPEC (2015)
Olaf Beyersdorff, Ilario Bonacina, Leroy Chew
Lower bounds: from circuits to QBF proof systems. Electron. Colloquium Comput. Complex. 22 (2015)
Ilario Bonacina, Nicola Galesi
A Framework for Space Complexity in Algebraic Proof Systems. J. ACM 62 (3) (2015)
Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan
Space proof complexity for random 3-CNFs. CoRR (2015)
Ilario Bonacina, Nicola Galesi, Neil Thapen
Total space in resolution. Electron. Colloquium Comput. Complex. 21 (2014)
Ilario Bonacina, Nicola Galesi, Tony Huynh, Paul Wollan
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem. CoRR (2014)
Ilario Bonacina, Nicola Galesi, Tony Huynh, Paul Wollan
Space proof complexity for random 3-CNFs via a (2-ε)-Hall's Theorem. Electron. Colloquium Comput. Complex. 21 (2014)
Ilario Bonacina, Nicola Galesi, Neil Thapen
Total Space in Resolution. FOCS (2014)
Giuseppe Ateniese, Ilario Bonacina, Antonio Faonio, Nicola Galesi
Proofs of Space: When Space Is of the Essence. SCN (2014)
Giuseppe Ateniese, Ilario Bonacina, Antonio Faonio, Nicola Galesi
Proofs of Space: When Space is of the Essence. IACR Cryptol. ePrint Arch. 2013 (2013)
Ilario Bonacina, Nicola Galesi
Pseudo-partitions, transversality and locality: a combinatorial characterization for the space measure in algebraic proof systems. ITCS (2013)
Ilario Bonacina, Nicola Galesi
Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems. Electron. Colloquium Comput. Complex. 19 (2012)