Deciding Linear Inequalities by Computing Loop Residues.

Robert E. Shostak

Published in: J. ACM (1981)

Keyphrases

linear inequalities
linear programming
integer linear programming
convex hull
linear program
real numbers
pattern recognition