Jiawei Li 0014, Yuhao Li, Hanlin Ren. Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds. In Aditya Bhaskara, Artur Czumaj, editors, Proceedings of the 58th Annual ACM Symposium on Theory of Computing, STOC 2026, Salt Lake City, UT, USA, June 22-26, 2026. pages 788-798, ACM, 2026. [doi]
Abstract is missing.