Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.

Alexis Maciel, Toniann Pitassi

Browse the full LICS paper archive.