×

Deciding linear inequalities by computing loop residues. (English) Zbl 0468.68073


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
PDF BibTeX XML Cite
Full Text: DOI Link