Nullstellensatz Size-Degree Trade-Offs from Reversible Pebbling
Suzanna F. de Rezende, Or Meir, Jakob Nördstrom, Robert Robere.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Suzanna F. de Rezende, Or Meir, Jakob Nördstrom, Robert Robere.