A decision procedure for linear arithmetic by William Pugh 1992.

Papers related to Omega library

• Generalized symbolic execution for model checking and testing [khurshid:tacas:2003]