Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K citations

Natural Sciences, Computer Science, Mathematics +12

Theory of Linear and Integer Programming.

David K. Smith, Alexander Schrijver · Journal of the Operational Research Society · 1987 · 2.3K citations · Full text

Natural Sciences, Mathematics, Algorithms +11

Decomposition Principle for Linear Programs

George B. Dantzig, Philip Wolfe · Operations Research · 1960 · 2.3K citations

Social Sciences, Computer Science, Economics +17

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10

Automatic symbolic verification of embedded systems

Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho · IEEE Transactions on Software Engineering · 1996 · 491 citations

Computing, Computer Engineering, Computer Science +17