Exponential Lower Bounds for Monotone Span Programs.
Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook.
FOCS 2016. [ECCC] [Slides] [Talk at BIRS] [Talk at FOCS 2016]
Invited to the special journal issue for FOCS 2016.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook.
FOCS 2016. [ECCC] [Slides] [Talk at BIRS] [Talk at FOCS 2016]
Invited to the special journal issue for FOCS 2016.