Shostak, Robert Deciding linear inequalities by computing loop residues. (English) Zbl 0468.68073 J. Assoc. Comput. Mach. 28, 769-779 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 16 Documents MSC: 68R10 Graph theory (including graph drawing) in computer science 15A39 Linear inequalities of matrices 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 90C05 Linear programming Keywords:loops in graphs; decision procedures; program verification PDF BibTeX XML Cite \textit{R. Shostak}, J. Assoc. Comput. Mach. 28, 769--779 (1981; Zbl 0468.68073) Full Text: DOI Link OpenURL