Fourier–Motzkin消去法
変数の定義域を整数にする場合の拡張を William Pugh が1992年に発表している。オメガテストと名付けた判定条件を追加している。
また、1972年に D. C. Cooper がFourier–Motzkin消去法の直接の拡張ではないが、整数変数に対する限量子消去法であるCooper法を発表している。
∀ i . ( 1 ≤ i ≤ n → i ≠ n ) {\displaystyle \forall i.(1\leq i\leq n\to i\neq n)} に対して、Fourier–Motzkin消去法を使用し、簡略化する。