Ilario Bonacina

Available identifiers

zbMath Open bonacina.ilarioWikidataQ60024520 ScholiaQ60024520MaRDI QIDQ894451

List of research outcomes

Publication	Date of Publication	Type
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares	2024-01-24	Paper
Clique Is Hard on Average for Regular Resolution	2022-12-08	Paper
Frege Systems for Quantified Boolean Logic	2020-11-11	Paper
Clique is hard on average for regular resolution	2019-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4598195	2017-12-19	Paper
Strong ETH and resolution via games and the multiplicity of strategies	2017-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5363779	2017-09-29	Paper
Space proof complexity for random 3-CNFs	2017-08-08	Paper
Pseudo-partitions, transversality and locality	2017-05-16	Paper
Total Space in Resolution	2016-10-28	Paper
Lower Bounds	2016-04-15	Paper
A Framework for Space Complexity in Algebraic Proof Systems	2016-03-24	Paper
Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis	2015-12-01	Paper
Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem	2014-11-06	Paper
Proofs of Space: When Space Is of the Essence	2014-10-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ilario Bonacina