Loading...
conference paper
Separations in Proof Complexity and TFNP
2022
Proceedings. 2022 IEEE 63rd Annual Symposiumvon Foundations of Computer Science (FOCS 2022)
Use this identifier to reference this record
Type
conference paper
Authors
•
Hollender, Alexandros
•
Jain, Siddhartha
•
•
Pires, William
•
Robere, Robert
•
Tao, Ran
Publication date
2022
Publisher
Published in
Proceedings. 2022 IEEE 63rd Annual Symposiumvon Foundations of Computer Science (FOCS 2022)
ISBN of the book
978-1-6654-5519-0
Start page
1150
End page
1161
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
Denver, Colorado, US | October 31 — November 3, 2022 | |
Available on Infoscience
January 17, 2023