Separations in Proof Complexity and TFNP
2022
Détails
Titre
Separations in Proof Complexity and TFNP
Auteur(s)
Goos, Mika ; Hollender, Alexandros ; Jain, Siddhartha ; Maystre, Gilbert ; Pires, William ; Robere, Robert ; Tao, Ran
Publié dans
Proceedings. 2022 IEEE 63rd Annual Symposiumvon Foundations of Computer Science (FOCS 2022)
Pages
1150-1161
Présenté à
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), Denver, Colorado, US, October 31 — November 3, 2022
Date
2022
Editeur
ACM
ISBN
978-1-6654-5519-0
Laboratoires
THL5
Le document apparaît dans
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Papiers de conférence
Travail produit à l'EPFL
Date de création de la notice
2023-01-17