DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUES

被引：83

作者：

SHOSTAK, R

机构：

来源：

关键词：

D O I：

10.1145/322276.322288

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：769 / 779

页数：11

相关论文

共 27 条

[21] SHOSTAK R, 1977, 5TH INT JOINT C ART
[22] SUP-INF METHOD FOR PROVING PRESBURGER FORMULAS
SHOSTAK, RE
[J]. JOURNAL OF THE ACM, 1977, 24 (04) : 529 - 543
[23] SUZUKI N, 1975, 1975 P INT C REL SOF, P473
[24] SZWARCFITER JL, 1974, 60 U NEWC TYN TECH R
[25] Tarjan R., 1973, SIAM Journal on Computing, V2, P211, DOI 10.1137/0202017
[26] WALDINGER RJ, 1974, J ARTIF INTELL, V5, P235
[27] [No title captured]