Concepedia

Nicola Galesi

NG

14

Publications

608

Citations

13

H-Index

2000

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

Sapienza University of Rome

University of Toronto

Nicola Galesi is an author at Universitat Politècnica de Catalunya specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputational ComplexityComputer ScienceProof ComplexityAutomated ReasoningFormal MethodsDiscrete MathematicsCombinatorial OptimizationMathematical ProgrammingFormal Verification

Publications per year

2000–2015

14

Publications

14

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Marı́a Luisa Bonet, Juan Luis Esteban, Nicola Galesi et al. · SIAM Journal on Computing · 2000 · 117 citations

Mathematical Programming, Circuit Complexity, Computational Complexity Theory +17

Space complexity of random formulae in resolution

Eli Ben‐Sasson, Nicola Galesi · Random Structures and Algorithms · 2003 · 67 citations

Engineering, Computational Complexity, Proof Complexity +16

Optimality of size-width tradeoffs for resolution

Marı́a Luisa Bonet, Nicola Galesi · Computational Complexity · 2001 · 67 citations · Full text

Mathematical Programming, Super-resolution Imaging, Engineering +6

A study of proof search algorithms for resolution and polynomial calculus

Marı́a Luisa Bonet, Nicola Galesi · 2003 · 58 citations

Computational Complexity Theory, Engineering, Verification +16

Rank bounds and integrality gaps for cutting planes procedures

J. Buresh-Oppenheim, Nicola Galesi, Shlomo Hoory et al. · 2004 · 57 citations

Mathematical Programming, Numerical Analysis, Engineering +24

Rows per page

1–5 of 14