Lifting Nullstellensatz to Monotone Span Programs over any Field.
Toniann Pitassi, Robert Robere.
STOC 2018. [ECCC] [Talk at Simons Institute]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Toniann Pitassi, Robert Robere.
STOC 2018. [ECCC] [Talk at Simons Institute]