Nicola Galesi
Author
Alternate names N. Galesi, Nicola Galesi
Institution Sapienza University of Rome
Past institutions Sapienza University of Rome, Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC), Universitat Politècnica de Catalunya, University of Toronto, Institute for Advanced Study
ORCID: Yes
H-index: 17
I10-index: 24
Works count: 95
Citations count: 1,137
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
2000 · Marı́a Luisa Bonet, Juan Luis Esteban, et al. · SIAM Journal on Computing
Proofs of Space: When Space Is of the Essence
2014 · Giuseppe Ateniese, Ilario Bonacina, et al. · Lecture notes in computer science
Space complexity of random formulae in resolution
2003 · Eli Ben‐Sasson, Nicola Galesi · Random Structures and Algorithms