Ilario Bonacina
Orcid: 0000-0002-5697-8070Affiliations:
- Universitat Politecnica de Catalunya, Barcelona, Spain
According to our database1,
Ilario Bonacina
authored at least 24 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
3
1
1
2
1
2
4
2
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Ann. Pure Appl. Log., 2025
2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
Comput. Complex., December, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
2022
2021
Electron. Colloquium Comput. Complex., 2021
2020
2017
Algorithmica, 2017
2016
Improving resolution width lower bounds for k-CNFs with applications to the Strong Exponential Time Hypothesis.
Inf. Process. Lett., 2016
Electron. Colloquium Comput. Complex., 2016
2015
Electron. Colloquium Comput. Complex., 2015
2014
Electron. Colloquium Comput. Complex., 2014
2013
2012
Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems.
Electron. Colloquium Comput. Complex., 2012