Accession Number:

ADA055868

Title:

Deciding Linear Inequalities by Computing Loop Residues.

Descriptive Note:

Interim rept.,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1978-03-10

Pagination or Media Count:

19.0

Abstract:

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.

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE