APA (7th ed.) Citation

Carmosino, M., Kabanets, V., Kolokolova, A., & Oliveira, I. C. (2022, February). LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. Proceedings / annual Symposium on Foundations of Computer Science, 770-780. https://doi.org/10.1109/FOCS52979.2021.00080

Chicago Style (17th ed.) Citation

Carmosino, Marco, Valentine Kabanets, Antonina Kolokolova, and Igor C. Oliveira. "LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic." Proceedings / Annual Symposium on Foundations of Computer Science Feb. 2022: 770-780. https://doi.org/10.1109/FOCS52979.2021.00080.

MLA (9th ed.) Citation

Carmosino, Marco, et al. "LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic." Proceedings / Annual Symposium on Foundations of Computer Science, Feb. 2022, pp. 770-780, https://doi.org/10.1109/FOCS52979.2021.00080.