Deciding Linear Inequalities by Computing Loop Residues
- 1 October 1981
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 28 (4), 769-779
- https://doi.org/10.1145/322276.322288
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- On Algorithms for Enumerating All Circuits of a GraphSIAM Journal on Computing, 1976
- An interactive program verification systemACM SIGPLAN Notices, 1975
- Finding All the Elementary Circuits of a Directed GraphSIAM Journal on Computing, 1975
- A man-machine theorem-proving systemArtificial Intelligence, 1974
- An application of mathematical logic to the integer linear programming problem.Notre Dame Journal of Formal Logic, 1972
- Computer proofs of limit theoremsArtificial Intelligence, 1972
- Linear Programming and ExtensionsPublished by Rand Corporation ,1963