Susanna F. de Rezende

From MaRDI portal
Person:389498



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Automating tree-like resolution in time \(n^{o(\log n)}\) is \textsf{ETH}-hard
Procedia Computer Science
2025-12-02Paper
Clique is hard on average for unary Sherali-Adams2025-08-15Paper
Graph colouring is hard on average for polynomial calculus and Nullstellensatz2025-08-15Paper
KRW composition theorems via lifting2025-08-12Paper
Lifting with simple gadgets and applications to circuit and proof complexity2025-08-12Paper
How limited interaction hinders real communication (and what it means for proof and circuit complexity)2025-08-06Paper
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
TheoretiCS
2025-05-06Paper
KRW composition theorems via lifting
Computational Complexity
2024-05-22Paper
Clique Is Hard on Average for Regular Resolution
Journal of the ACM
2022-12-08Paper
Nullstellensatz size-degree trade-offs from reversible pebbling
(available as arXiv preprint)
2022-07-27Paper
Nullstellensatz size-degree trade-offs from reversible pebbling
Computational Complexity
2021-07-14Paper
Nullstellensatz size-degree trade-offs from reversible pebbling
Computational Complexity
2021-07-14Paper
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
(available as arXiv preprint)
2019-12-01Paper
Clique is hard on average for regular resolution
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing
2019-08-22Paper
Cumulative space in black-white pebbling and resolution2018-05-03Paper
On the proper orientation number of bipartite graphs
Theoretical Computer Science
2015-01-06Paper
Intersecting longest paths
Discrete Mathematics
2014-01-20Paper
Intersection of longest paths in a graph2013-11-01Paper


Research outcomes over time


This page was built for person: Susanna F. de Rezende