Separations in Proof Complexity and TFNP.

Mika Göös Alexandros Hollender Siddhartha Jain Gilbert Maystre William Pires Robert Robere Ran Tao

Published in: FOCS (2022)

Keyphrases

worst case
computational complexity
decision problems
space complexity
image sequences
preprocessing
data sets
web services
special case
theorem proving
mathematical proofs