Fourier-Motzkin Elimination and Its Dual with Application to Integer Programming

Research on linear inequalities systems prior to 1947 consisted of isolated efforts “by a few investigators. A case in point is the elimination technique for reducing the number of variables in the system. A description of the method can “be found in Fourier [1], Dines [2], and Motzkin [3]. It differs from its analog for systems of equations in that (unfortunately) each step in the elimination can greatly increase the number of inequalities in the remaining variables. For years the method was referred to as the Motzkin Elimination Method. However, because of the odd grave-digging custom of looking for artifacts in long forgotten papers, it is now known as the Fourier-Motzkin Elimination Method and perhaps will eventually be known as the Fourier-Dines-Motzkin Elimination Method.