Research output per year
Research output per year
Personal profile
Research
My research interests are in computational complexity, in particular connections between proof, circuit and communication complexity. You can read more about me here: https://derezende.github.io/
Fingerprint
Dive into the research topics where Susanna de Rezende is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
KRW Composition Theorems via Lifting
Rezende, S. F. D., Meir, O., Nordström, J., Pitassi, T. & Robere, R., 2024 Jun, In: Computational Complexity. 33, 1, 4.Research output: Contribution to journal › Article › peer-review
-
Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, S. F., Potechin, A. & Risse, K., 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 12-25 14 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, J., De Rezende, S. F., Nordstrom, J., Pang, S. & Risse, K., 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE Computer Society, p. 1-11 11 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
Clique Is Hard on Average for Regular Resolution
Atserias, A., Bonacina, I., De Rezende, S. F., Lauria, M., Nordström, J. & Razborov, A., 2021 Aug, In: Journal of the ACM. 68, 4, p. 1-26 23.Research output: Contribution to journal › Article › peer-review
-
The power of negative reasoning
de Rezende, S. F., Lauria, M., Nordström, J. & Sokolov, D., 2021 Jul 1, 36th Computational Complexity Conference, CCC 2021. Kabanets, V. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 200).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access
Projects
- 2 Active
-
Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Researcher), Nordström, J. (Supervisor) & de Rezende, S. (Assistant supervisor)
2021/11/16 → …
Project: Dissertation
-
Proof Complexity
Conneryd, J. (Researcher), Nordström, J. (Supervisor) & de Rezende, S. (Assistant supervisor)
2021/11/01 → …
Project: Dissertation