Separations in Proof Complexity and TFNP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mika Göös, Alexandros Hollender, Siddhartha Jain 0002, Gilbert Maystre, William Pires, Robert Robere, Ran Tao. Separations in Proof Complexity and TFNP. In 63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022. pages 1150-1161, IEEE, 2022. [doi]

This author has not been identified. Look up 'Mika Göös' in GoogleThis author has not been identified. Look up 'Alexandros Hollender' in GoogleThis author has not been identified. Look up 'Siddhartha Jain 0002' in GoogleThis author has not been identified. Look up 'Gilbert Maystre' in GoogleThis author has not been identified. Look up 'William Pires' in GoogleThis author has not been identified. Look up 'Robert Robere' in GoogleThis author has not been identified. Look up 'Ran Tao' in Google

runs on WebDSL