Extremely Deep Proofs
Noah Fleming, Toniann Pitassi, Robert Robere
ITCS 2022. [ECCC] [Talk at ITCS]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Noah Fleming, Toniann Pitassi, Robert Robere
ITCS 2022. [ECCC] [Talk at ITCS]