Ilario Bonacina

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ilario Bonacina