共 11 条
- [2] CHAN T, 1977, TR77326 CORN U DEP C
- [4] Khachian L. G., 1979, SOV MATH DOKL, V20, P191
- [5] Megiddo N., 1979, Mathematics of Operations Research, V4, P414, DOI 10.1287/moor.4.4.414
- [6] Megiddo N., 1981, 22nd Annual Symposium on Foundations of Computer Science, P399, DOI 10.1109/SFCS.1981.11
- [7] MEGIDDO N, UNPUB THEORET COMP S
- [8] NELSON CG, 1978, AIM319 STANF U DEP C
- [9] PRATT V, 1977, UNPUB 2 EASY THEORIE
- [10] DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUES [J]. JOURNAL OF THE ACM, 1981, 28 (04) : 769 - 779