Klim Efremenko, Michal Garlík, Dmitry Itsykson, Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, 640
Erfan Khaniki, 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, 573
Rahul Santhanam, Iddo Tzameret, “Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity”, SIAM J. Comput., 2025, STOC21-313
Klim Efremenko, Michal Garlík, Dmitry Itsykson, “Lower Bounds for Regular Resolution over Parities”, SIAM J. Comput., 54, no. 4, 2025, 887