Keywords
Solution of Systems of Linear Inequalities and Linear Programming Problems
Complexity of the Fourier–Motzkin Method
Keywords
Fourier–Motzkin elimination
-
Linear inequalities
-
Linear programming
-
First order theory of real addition with order
-
Semilinear set
-
Projection
-
Output-polynomial