1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
KRW Composition Theorems via Lifting
Rezende, Susanna F.de LU
; Meir, Or
; Nordström, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(2024)
In Computational Complexity
33(1).
- Contribution to journal › Article
- 2021
-
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
- 2020
-
Mark
KRW composition theorems via lifting
De Rezende, Susanna F. LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(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.43-49
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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