On Semi-Algebraic Proofs and Algorithms
Noah Fleming, Mika Göös, Stefan Grosser, Robert Robere
ITCS 2022. [ECCC] [Talk at ITCS]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Noah Fleming, Mika Göös, Stefan Grosser, Robert Robere
ITCS 2022. [ECCC] [Talk at ITCS]