Further Collapses in TFNP
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao.
Contributed presentation at HALG 2022.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao.
Contributed presentation at HALG 2022.