Klim Efremenko, Michal Garlík, Dmitry Itsykson. Lower Bounds for Regular Resolution over Parities. In Bojan Mohar, Igor Shinkar, Ryan O'Donnell, editors, Proceedings of the 56th Annual ACM Symposium on Theory of Computing, STOC 2024, Vancouver, BC, Canada, June 24-28, 2024. pages 640-651, ACM, 2024. [doi]
Abstract is missing.