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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.