Dmitry Itsykson, Alexander Knop. Supercritical Tradeoff Between Size and Depth for Resolution over Parities. In Shubhangi Saraf, editor, 17th Innovations in Theoretical Computer Science Conference, ITCS 2026, Bocconi University, Milan, Italy, January 27-30, 2026. Volume 362 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.