Jiatu Li, Igor C. Oliveira. Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic. In Barna Saha, Rocco A. Servedio, editors, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023. pages 1051-1057, ACM, 2023. [doi]
@inproceedings{LiO23-1,
title = {Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic},
author = {Jiatu Li and Igor C. Oliveira},
year = {2023},
doi = {10.1145/3564246.3585144},
url = {https://doi.org/10.1145/3564246.3585144},
researchr = {https://researchr.org/publication/LiO23-1},
cites = {0},
citedby = {0},
pages = {1051-1057},
booktitle = {Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023},
editor = {Barna Saha and Rocco A. Servedio},
publisher = {ACM},
isbn = {978-1-4503-9913-5},
}