KRW Composition Theorems via Lifting
Susanna F. de Rezende, Or Meir, Jakob Nördstrom, Toniann Pitassi, Robert Robere
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
FOCS 2020. [ECCC]