Fourier–Motzkin消去法
↑ Satisfiability Checking Fourier–Motzkin Variable Elimination
↑ Arithmetic Decision Procedures: a simple introduction
↑ The Omega Test: a fast and practical integer programming algorithm for dependence analysis
↑ Theorem Proving in Arithmetic without Multiplication