@article{BPR,
author = {Bonet, Maria Luisa and Pitassi, Toniann and Raz, Ran},
title = {On Interpolation and Automatization for Frege Systems},
journal = {SIAM Journal on Computing},
volume = {29},
number = {6},
pages = {1939-1967},
year = {2000}
}

@article{cs88,
  author       = {Vasek Chv{\'{a}}tal and
                  Endre Szemer{\'{e}}di},
  title        = {Many Hard Examples for Resolution},
  journal      = {J. {ACM}},
  volume       = {35},
  number       = {4},
  pages        = {759--768},
  year         = {1988},
  url          = {https://doi.org/10.1145/48014.48016},
  doi          = {10.1145/48014.48016},
  timestamp    = {Sun, 02 Jun 2019 20:59:13 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/ChvatalS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{RAZ,
  author  = {Razborov, A. A.},
  title   = {Lower bounds on the monotone complexity of some {Boolean} functions},
  journal = {Dokl. Akad. Nauk SSSR},
  year    = {1985},
  volume  = {281},
  number  = {4},
  pages   = {798--801},
  url     = {http://mi.mathnet.ru/dan9192},
}

@inproceedings{HP,
author = {Hrubes, Pavel and Pudlak, Pavel},
year = {2017},
month = {10},
pages = {121-131},
title = {Random Formulas, Monotone Circuits, and Interpolation},
doi = {10.1109/FOCS.2017.20},
}

@article{FPPR,
author = {Fleming, Noah and Pankratov, Denis and Pitassi, Toniann and Robere, Robert},
year = {2017},
month = {03},
pages = {},
title = {Random CNFs are Hard for Cutting Planes},
doi = {10.48550/arXiv.1703.02469},
}