DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUES

被引：83

作者：

SHOSTAK, R

机构：

来源：

JOURNAL OF THE ACM | 1981年 / 28卷 / 04期

关键词：

D O I：

10.1145/322276.322288

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：769 / 779

页数：11

相关论文

共 27 条

[1]

APSVALL B, 1979, 20TH P ANN S F COMP, P205

[2] MAN-MACHINE THEOREM-PROVING SYSTEM [J].

BLEDSOE, WW ;

BRUELL, P .

ARTIFICIAL INTELLIGENCE, 1974, 5 (01) :51-72

[3] COMPUTER PROOFS OF LIMIT THEOREMS [J].

BLEDSOE, WW ;

BOYER, RS ;

HENNEMAN, WH ;

BOYER, RS ;

HENNEMAN, WH .

ARTIFICIAL INTELLIGENCE, 1972, 3 (02) :27-60

[4]

BLEDSOE WW, 1975, 4TH INT JOINT C ART, P15

[5]

BLEDSOE WW, 1974, ATP14 U TEX MATH DEP

[6]

BLEDSOE WW, 1974, ATP18 U TEX MATH DEP

[7]

Dantzig GB., 1962, LINEAR PROGRAMMING E

[8]

DEUTCH LP, 1973, THESIS U CALIFORNIA

[9]

ELSPAS B, 1976, 37561 STANF RES I TE

[10]

Gomory R.E, 1963, RECENT ADV MATH PROG, P269