TY  - RPRT
TI  - Tradeoffs for small-depth Frege proofs
AU  - Toniann Pitassi
AU  - Prasanna Ramakrishnan
AU  - Li-Yang Tan
PY  - 2022
UR  - https://arxiv.org/abs/2111.07483
ID  - 2111.07483
ER  -