Proofs, Circuits, and Communication
Susanna de Rezende, Mika Göös, Robert Robere.
SIGACT News Complexity Theory Column, March 2022. [ArXiV] [Talk at BIRS]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Susanna de Rezende, Mika Göös, Robert Robere.
SIGACT News Complexity Theory Column, March 2022. [ArXiV] [Talk at BIRS]