1 – 10 of 36
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
De Rezende, Susanna F. LU
; Fleming, Noah
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(2025)
57th Annual ACM Symposium on Theory of Computing, STOC 2025
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
Mark
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
- Contribution to journal › Article
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas LU
; De Rezende, Susanna F.
LU
; Nordstrom, Jakob
LU
; Pang, Shuo
and Risse, Kilian
LU
(2023)
64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F. LU
; Potechin, Aaron
and Risse, Kilian
LU
(2023)
64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
p.12-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
The power of negative reasoning
de Rezende, Susanna F. LU
; Lauria, Massimo
; Nordström, Jakob
LU
and Sokolov, Dmitry
LU
(2021)
36th Computational Complexity Conference, CCC 2021
In Leibniz International Proceedings in Informatics, LIPIcs
200.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automating algebraic proof systems is NP-hard
De Rezende, Susanna F. LU
; Göös, Mika
; Nordström, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Sokolov, Dmitry
LU
(2021)
53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.209-222
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
De Rezende, Susanna F. LU
; Meir, Or
; Nordström, Jakob
LU
and Robere, Robert
(2021)
In Computational Complexity
30(1).
- Contribution to journal › Article
- 2020
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Vinyals, Marc
(2020)
61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2020-November.
p.24-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
de Rezende, Susanna F. LU
; Nordström, Jakob
LU
; Risse, Kilian
and Sokolov, Dmitry
LU
(2020)
35th Computational Complexity Conference, CCC 2020
In Leibniz International Proceedings in Informatics, LIPIcs
169.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding