Unified Lower Bounds for Monotone Computation
Robert Robere
PhD Thesis (2018).
Awarded the 2019 EATCS Distinguished Dissertation Award.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Robert Robere
PhD Thesis (2018).
Awarded the 2019 EATCS Distinguished Dissertation Award.