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 [J].

SHOSTAK, RE .

[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]