亚历山大·博克迈尔;弗里德里希·艾森布兰德 将逻辑和优化结合在切割平面理论中。 （英语） Zbl 0961.03012号 Kirchner，Hélène（编辑）等人，《组合系统的前沿》。2000年3月22日至24日，法国南希，第三届国际研讨会，FroCoS 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1794, 1-17 (2000). 摘要：为了解决整数线性优化问题，Gomory于1958年引入了切割平面。从那时起，他们不仅在数学优化方面，而且在逻辑和复杂性理论方面受到了很大的关注。在本文中，我们介绍了在逻辑和优化的界面上切割平面的一些最新结果。主要重点是基于Gomory-Chátal舍入原理的割平面证明的长度和秩。关于整个系列，请参见[Zbl 0935.00044号]. 引用于1文件 MSC公司： 03立方厘米35 证明和逻辑运算的机械化 90C05（二氧化碳） 线性规划 20层03 证明的复杂性 65年第68季度 算法和问题复杂性分析 关键词：切割平面校样 软件：OPBDP公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Bockmayr}和\textit{F.Eisenbrand}，莱克特。注释计算。科学。1794年1月17日（2000年；Zbl 0961.03012）