Separations in Proof Complexity and TFNP.
| Autor: | Göös, Mika1 (AUTHOR) mika.goos@epfl.ch, Hollender, Alexandros2 (AUTHOR) alexandros.hollender@cs.ox.ac.uk, Jain, Siddhartha3 (AUTHOR) sidjain@cs.utexas.edu, Maystre, Gilbert1 (AUTHOR) gilbert.maystre@epfl.ch, Pires, William4 (AUTHOR) wp2294@columbia.edu, Robere, Robert5 (AUTHOR) robere@cs.mcgill.ca, Tao, Ran6 (AUTHOR) rant2@andrew.cmu.edu |
|---|---|
| Zdroj: | Journal of the ACM. Aug2024, Vol. 71 Issue 4, p1-45. 45p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|