摘要
米克洛斯·阿杰泰（Miklós Ajtai）、杰诺斯·科姆洛斯（János Komlosós）和恩德雷·斯泽梅雷迪（Endre Szemerédi）。 1980年，关于拉姆齐数的注释。 J.组合理论系列。 A 29，3（1980），354--360。 谷歌学者 
交叉引用 
Eli Ben Sasson和Avi Wigderson。 2001.简短的证明是狭义的——分辨率变得简单。 《美国临床医学杂志》48，2（2001），149-169。 谷歌学者 数字图书馆 
T.Bohman和P.Keevash。 2010年，无氢工艺的早期发展。 发明。 数学。 181, 2 (2010), 291--336. 谷歌学者 交叉引用 玛丽亚·路易莎·博内特和尼古拉·加莱西。 2001.规模-宽度权衡解决方案的最佳性。 计算。 复杂。 10, 4 (2001), 261--276. 谷歌学者 数字图书馆 玛丽亚·路易莎·博内（Maria Luisa Bonet）、T.皮塔西（T.Pitassi）和兰·拉兹（Ran Raz）。 1995.用小系数证明切割平面的下限。 第二十七届ACM计算理论年会论文集。 ACM，纽约州纽约市，575-584。 谷歌学者 数字图书馆 玛丽亚·路易莎·博内（Maria Luisa Bonet）、托尼安·皮塔西（Toniann Pitassi）和兰·拉兹（Ran Raz）。 1997。小系数的切割平面证明的下限。 J符号。 《逻辑学》62，3（1997），第708-728页。 http://www.jstor.org/stable/2275569。 谷歌学者 交叉引用 J.Buresh-Openheim、Nicola Galesi、Shlomo Hoory、A.Magen和Toniann Pitassi。 2006.切割平面程序的等级界限和完整性缺口。 西奥。 计算。 2, 4 (2006), 65--90. 谷歌学者 交叉引用 Lorenzo Carlucci、Nicola Galesi和Massimo Lauria，2011年。 Paris-Harrington重言式。 程序中。 IEEE第26届计算复杂性会议（CCC 2011）。 93--103. 谷歌学者 数字图书馆 瓦舍克·奇瓦塔尔。 1973年Edmonds多面体和组合问题的层次结构。 离散。 数学。 4, 4 (1973), 305--337. 谷歌学者 数字图书馆 瓦舍克·奇瓦塔尔、威廉·库克和M.哈特曼。 1989.关于组合优化中的割平面证明。 线性代数。 申请。 114 (1989), 455--499. 谷歌学者 交叉引用 D.康隆。 2009年，对角线拉姆齐数的一个新上界。 安。数学。 170, 2 (2009), 941--960. 谷歌学者 交叉引用 William Cook、Collette R.Coullard和György Turán。 1987.关于切割平面证明的复杂性。 离散。 申请。 数学。 18, 1 (1987), 25--38. 谷歌学者 数字图书馆 保罗·埃尔德。 1947.关于图论的一些评论。 牛。 美国数学。 Soc 53（1947），292--294。 谷歌学者 交叉引用 Paul Erdős和G.Szekeres。 1987.几何中的一个组合问题。 在组合数学的经典论文中，Ira Gessel和Gian Carlo Rota（编辑）。 博克哈斯，波士顿，49-56。 内政部： http://dx.doi.org/10.1007/978-0-8176-4842-8_3 谷歌学者 尼古拉·加莱西（Nicola Galesi）和马西莫·劳里亚（Massimo Lauria），2010年。 多项式演算中大小级权衡的最优性。 ACM事务处理。 计算。 逻辑12，第4条（2010年10月），22页。 问题1。 内政部： http://dx.doi.org/10.1145/1838552.1838556 谷歌学者 数字图书馆 安德烈亚斯·戈德。 1992。具有有界虚假度的割平面证明系统。 在计算机科学逻辑中，Egon Börger、Gerhard Jäger、Hans Kleine Büning和Michael M。 Richter（编辑）。 计算机科学讲义，第626卷。 柏林施普林格，119-133。 内政部： http://dx.doi.org/10.1007/BFb0023762 谷歌学者 数字图书馆 拉尔夫·戈莫利（Ralph E.Gomory）。 1958.线性规划整数解算法概述。 牛。 美国数学。 Soc.64，5（1958），275--278。 谷歌学者 交叉引用 爱德华·赫施（Edward A.Hirsch）和谢尔盖·尼科伦科（Sergey I.Nikolenko）。 2005.通过分辨率模拟具有限制虚假度的切割平面证明。 在可满足性测试的理论和应用中，Fahiem Bacchus和Toby Walsh（编辑）。 计算机科学讲义，第3569卷。 柏林施普林格，135-142。 内政部： http://dx.doi.org/10.1007/11499107_10 谷歌学者 数字图书馆 罗素·英帕利亚佐（Russell Impagliazzo）、托尼安·皮塔西（Toniann Pitassi）和阿拉斯代尔·厄克哈特（Alasdair Urquhart）。 1994.树状切面证明的上下限。 1994年计算机科学逻辑研讨会论文集。 94年利兹。 IEEE，220-228标准。 谷歌学者 交叉引用 罗素·英帕利亚佐（Russell Impagliazzo）、帕维尔·普德拉克（Pavel Pudlák）和吉·斯加尔（JiříSgall）。 1999.多项式微积分和Gröbner基算法的下限。 计算。 复杂。 8，2（1999），127-144。 谷歌学者 数字图书馆 斯塔西斯·朱克纳。 2012.布尔函数复杂性：进展和前沿。 柏林斯普林格·弗拉格。 谷歌学者 数字图书馆 金正汉（Jeong Han Kim）。 1995年，拉姆齐数R（3，t）的数量级为t 2 /log&thinsp；日志； （t） ●●●●。 随机结构。 阿尔戈。 7, 3 (1995), 173--208. 谷歌学者 交叉引用 扬·克拉契克。 2011.关于一些Ramsey型语句的命题证明复杂性的注释。 拱门。 数学。 《逻辑》50（2011），245--255。 问题1。 http://dx.doi.org/10.1007/s00153-010-0212-9。 谷歌学者 数字图书馆 Balakrishnan Krishnamurthy和Robert N.Moll。 命题演算中的硬重言式示例。 第13届ACM计算机技术研讨会（STOC 1981）。 ACM，纽约州纽约市28-37。 谷歌学者 数字图书馆 马西莫·劳里亚（Massimo Lauria），2013年。 Ramsey定理的割平面证明的秩下界。 《可满足性测试的理论与应用——2013年SAT》，马蒂·贾维萨洛（Matti Jarvisalo）和阿伦·范·盖尔德（Allen Van Gelder）（编辑）。 计算机科学讲义，第7962卷。 柏林施普林格，351-364。 内政部： http://dx.doi.org/10.1007/978-3642-39071-5_26 谷歌学者 数字图书馆 帕维尔·普德拉克。 1991年。有界算术中的拉姆齐定理。 1990年《计算机科学与逻辑学报》。 308--317. 谷歌学者 数字图书馆 帕维尔·普德拉克。 1997.分辨率和切割平面证明以及单调计算的下限。 J.符号。 逻辑62，3（1997），981--998。 谷歌学者 交叉引用 帕维尔·普德拉克。 2012.拉姆齐定理的分辨率证明的大小下限。 信息处理。 莱特。 112, 14--15 (2012), 610--611. 谷歌学者 数字图书馆 乔尔·斯宾塞。 1977.Ramsey函数的渐近下界。 光盘。 数学。 20（1977），69-76。 谷歌学者 交叉引用
建议
ramsey定理的割平面证明的秩下界 SAT’13：第16届满意度测试理论与应用国际会议记录 拉姆齐定理是组合学和逻辑的基石。 在最简单的公式中，它表示有一个函数 第页 任何简单的图 第页 ( k个 , 秒 )顶点包含大小为的团 k个 或一组独立的大小 秒 。我们研究。。。 论分支与切割的力量与局限性 CCC’21：第36届计算复杂性会议记录 引入了Stabbing Planes证明系统[8]，对实际混合整数规划求解器中执行的推理进行建模。 作为一个证明系统，它足够强大，可以模拟切割平面并反驳谢廷公式-某些。。。
