Concepedia

Ilario Bonacina

IB

7

Publications

144

Citations

7

H-Index

2014

Active since

Affiliations

KTH Royal Institute of Technology(Current)

Sapienza University of Rome

University of Leeds

Universitat Politècnica de Catalunya

Ilario Bonacina is an author at KTH Royal Institute of Technology specializing in computational complexity, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputational ComplexityProof ComplexityAutomated ReasoningFormal MethodsFormal VerificationDiscrete MathematicsCombinatorial OptimizationGraph Theory

Publications per year

2014–2020

7

Publications

7

Lower Bounds

Olaf Beyersdorff, Ilario Bonacina, Leroy Chew · 2016 · 54 citations

Circuit Complexity, Engineering, Boolean Circuits +11

Lower bounds: from circuits to QBF proof systems.

Olaf Beyersdorff, Ilario Bonacina, Leroy Chew · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 2015 · 19 citations

Clique is hard on average for regular resolution

Albert Atserias, Ilario Bonacina, Susanna F. de Rezende et al. · 2018 · 18 citations · Full text

Engineering, Graph Theory, Network Algorithm +15

A Framework for Space Complexity in Algebraic Proof Systems

Ilario Bonacina, Nicola Galesi · Journal of the ACM · 2015 · 15 citations

Computational Complexity Theory, Engineering, Automated Proof +17

Frege Systems for Quantified Boolean Logic

Olaf Beyersdorff, Ilario Bonacina, Leroy Chew et al. · Journal of the ACM · 2020 · 14 citations · Full text

Circuit Complexity, Engineering, Quantified Boolean Logic +15

Rows per page

1–5 of 7