On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
Bonacina, Ilario, Galesi, Nicola, Lauria, Massimo
Published in Computational complexity (01.12.2023)
Published in Computational complexity (01.12.2023)
Get full text
Journal Article
Depth lower bounds in Stabbing Planes for combinatorial principles
Dantchev, Stefan, Galesi, Nicola, Ghani, Abdul, Martin, Barnaby
Published in Logical methods in computer science (01.01.2024)
Published in Logical methods in computer science (01.01.2024)
Get full text
Journal Article
A characterization of tree-like Resolution size
Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo
Published in Information processing letters (15.09.2013)
Published in Information processing letters (15.09.2013)
Get full text
Journal Article
Vertex-connectivity for node failure identification in Boolean Network Tomography
Galesi, Nicola, Ranjbar, Fariba, Zito, Michele
Published in Information processing letters (01.02.2024)
Published in Information processing letters (01.02.2024)
Get full text
Journal Article
Bounded-depth Frege complexity of Tseitin formulas for all graphs
Galesi, Nicola, Itsykson, Dmitry, Riazanov, Artur, Sofronova, Anastasia
Published in Annals of pure and applied logic (01.01.2023)
Published in Annals of pure and applied logic (01.01.2023)
Get full text
Journal Article
Polynomial Calculus Space and Resolution Width
Galesi, Nicola, Kolodziejczyk, Leszek, Thapen, Neil
Published in 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2019)
Published in 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2019)
Get full text
Conference Proceeding
Space proof complexity for random 3-CNFs
Bennett, Patrick, Bonacina, Ilario, Galesi, Nicola, Huynh, Tony, Molloy, Mike, Wollan, Paul
Published in Information and computation (01.08.2017)
Published in Information and computation (01.08.2017)
Get full text
Journal Article
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo
Published in Information processing letters (15.11.2010)
Published in Information processing letters (15.11.2010)
Get full text
Journal Article
Proofs of Space: When Space Is of the Essence
Ateniese, Giuseppe, Bonacina, Ilario, Faonio, Antonio, Galesi, Nicola
Published in Security and Cryptography for Networks (2014)
Published in Security and Cryptography for Networks (2014)
Get full text
Book Chapter
A characterization of tree-like Resolution size
Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo
Published in Insurance, mathematics & economics (15.09.2013)
Get full text
Published in Insurance, mathematics & economics (15.09.2013)
Journal Article
Depth lower bounds in Stabbing Planes for combinatorial principles
Get full text
Paper
Journal Article
Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank
Get full text
Book Chapter
Conference Proceeding