Susanna F. de Rezende

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!

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

Research outcomes over time

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