DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUES

被引：83

作者：

SHOSTAK, R

机构：

来源：

关键词：

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
BLEDSOE, WW
BRUELL, P
[J]. ARTIFICIAL INTELLIGENCE, 1974, 5 (01) : 51 - 72
[3] COMPUTER PROOFS OF LIMIT THEOREMS
BLEDSOE, WW
BOYER, RS
HENNEMAN, WH
BOYER, RS
HENNEMAN, WH
[J]. 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