Susanna F. de Rezende
Orcid: 0000-0001-8923-1240Affiliations:
- Lund University, Sweden
According to our database1,
Susanna F. de Rezende
authored at least 23 papers
between 2011 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
3
2
4
1
2
1
1
1
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025
2024
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman.
Electron. Colloquium Comput. Complex., 2024
2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
2022
2021
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity).
Electron. Colloquium Comput. Complex., 2021
Electron. Colloquium Comput. Complex., 2021
Comput. Complex., 2021
Automating Tree-Like Resolution in Time <i>n</i><sup><i>o</i>(log <i>n</i>)</sup> Is ETH-Hard.
Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, 2021
Proceedings of the 36th Computational Complexity Conference, 2021
2020
Electron. Colloquium Comput. Complex., 2020
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020
2019
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs.
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
2017
Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017
2015
2013
2011