Jan Krajícek. A note on propositional proof complexity of some Ramsey-type statements. Arch. Math. Log., 50(1-2):245-255, 2011. [doi]
@article{Krajicek11, title = {A note on propositional proof complexity of some Ramsey-type statements}, author = {Jan Krajícek}, year = {2011}, doi = {10.1007/s00153-010-0212-9}, url = {http://dx.doi.org/10.1007/s00153-010-0212-9}, researchr = {https://researchr.org/publication/Krajicek11}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {50}, number = {1-2}, pages = {245-255}, }