Susanna F. de Rezende
Scholar

Susanna F. de Rezende

Google Scholar ID: AZRM7A8AAAAJ
Lund University
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
362
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Publications
6 items
Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
2026
Cited
0
Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
2026
Cited
0
The Proof Analysis Problem
2025
Cited
0
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
IEEE Annual Symposium on Foundations of Computer Science · 2023
Cited
1
KRW Composition Theorems via Lifting
IEEE Annual Symposium on Foundations of Computer Science · 2020
Cited
15
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
Electron. Colloquium Comput. Complex. · 2019
Cited
3
Resume (English only)
Co-authors
22 total
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Robert Robere
Robert Robere
McGill University
Marc Vinyals
Marc Vinyals
University of Auckland
Co-author 4
Co-author 4
Dmitry Sokolov
Dmitry Sokolov
École Polytechnique Fédérale de Lausanne
Mika Göös
Mika Göös
EPFL
Co-author 7
Co-author 7
Massimo Lauria
Massimo Lauria
Sapienza - Università di Roma