@misc{indiciaee7a0bdeee4ee,
  title = {Tradeoffs for small-depth Frege proofs},
  author = {Toniann Pitassi and Prasanna Ramakrishnan and Li-Yang Tan},
  year = {2022},
  url = {https://arxiv.org/abs/2111.07483},
  note = {Source identifier: 2111.07483}
}