Lower Bounds for Regular Resolution over Parities

Klim Efremenko, Michal GarlĂ­k, Dmitry Itsykson. Lower Bounds for Regular Resolution over Parities. SIAM Journal on Computing, 54(4):887-915, 2025. [doi]

Abstract

Abstract is missing.