Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna F. de Rezende, Or Meir, Jakob Nördstrom, Toniann Pitassi, Robert Robere, Marc Vinyals.
FOCS 2020. [ECCC]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Susanna F. de Rezende, Or Meir, Jakob Nördstrom, Toniann Pitassi, Robert Robere, Marc Vinyals.
FOCS 2020. [ECCC]