Deciding Linear Inequalities by Computing Loop Residues.
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
The real and integer feasibility of sets of linear inequalities of the form x or y c can be decided quickly by examining the loops in certain graphs. The method is generalized first to real feasibility of inequalities in two variables and arbitrary coefficients, and ultimately to real feasibility of arbitrary sets of linear inequalities. The method is well suited to applications in program verification.
- Theoretical Mathematics
- Computer Programming and Software