Dmitry Itsykson, Artur Riazanov. Proof complexity of natural formulas via communication arguments. Electronic Colloquium on Computational Complexity (ECCC), 27:184, 2020. [doi]
@article{ItsyksonR20, title = {Proof complexity of natural formulas via communication arguments}, author = {Dmitry Itsykson and Artur Riazanov}, year = {2020}, url = {https://eccc.weizmann.ac.il/report/2020/184}, researchr = {https://researchr.org/publication/ItsyksonR20}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {27}, pages = {184}, }