Lijie Chen, Jiatu Li, Igor C. Oliveira, 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, 505
Lukáš Folwarczný, “On Protocols for Monotone Feasible Interpolation”, ACM Trans. Comput. Theory, 15:1-2 (2023), 1
Hugo Côté, Pierre McKenzie, “Catalytic Branching Programs from Groups and General Protocols”, ACM Trans. Comput. Theory, 15:3-4 (2023), 1
S.F. de Rezende, M. Göös, R. Robere, “Guest Column”, SIGACT News, 53:1 (2022), 59
Noah Fleming, Denis Pankratov, Toniann Pitassi, Robert Robere, “Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes”, J. ACM, 69:3 (2022), 1
Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena, Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2022, 582
Noah Fleming, Toniann Pitassi, Outstanding Contributions to Logic, 22, Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, 2022, 497
Mika Göös, Sajin Koroth, Ian Mertz, Toniann Pitassi, Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020, 68
Jan Pich, Rahul Santhanam, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, 1305
Antonina Kolokolova, Theory and Applications of Computability, The Incomputable, 2017, 143