LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor Carboni Oliveira. LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022. pages 770-780, IEEE, 2021. [doi]

This author has not been identified. Look up 'Marco Carmosino' in GoogleThis author has not been identified. Look up 'Valentine Kabanets' in GoogleThis author has not been identified. Look up 'Antonina Kolokolova' in GoogleThis author has not been identified. Look up 'Igor Carboni Oliveira' in Google

runs on WebDSL