ON THE COMPLEXITY OF CUTTING-PLANE PROOFS

被引：150

作者：

COOK, W

COULLARD, CR

TURAN, G

机构：

[1] PURDUE UNIV,DEPT IND ENGN,W LAFAYETTE,IN 47907

[2] ATTILA JOZSEF UNIV,HUNGARIAN ACAD SCI,AUTOMATA THEORY RES GRP,H-6701 SZEGED,HUNGARY

来源：

关键词：

D O I：

10.1016/0166-218X(87)90039-4

中图分类号：

O29 [应用数学];

学科分类号：

070104 [应用数学];

摘要：

MATHEMATICAL TECHNIQUES

引用

页码：25 / 38

页数：14

共 30 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

BABAI L, IN PRESS COMBINATORI

[3]

BELL DE, 1977, STUD APPL MATH, V56, P187

[4]

BOYD SC, UNPUB FACET GENERATI

[5]

Chvatal V., 1973, Mathematical Programming, V5, P29, DOI 10.1007/BF01580109

[6]

Chvatal V., 1973, Discrete Mathematics, V4, P305, DOI 10.1016/0012-365X(73)90167-2

[7]

CHVATAL V, 1984, 84325OR U BONN I OK

[8]

Chvatal V., 1984, 84326OR U BONN I OK

[9]

COOK S, 1977, J SYMBOLIC LOGIC, V44, P36

[10]

COOK SA, 1975, 7 ANN ACM S THEOR CO