T. Achterberg, T. Koch, and A. Martin, MIPLIB 2003, Operations Research Letters, vol.34, issue.4, pp.361-372, 2003.
DOI : 10.1016/j.orl.2005.07.009

U. Banerjee, Dependence Analysis for Supercomputing, 1988.
DOI : 10.1007/978-1-4684-6894-6

C. Barrett, R. Nieuwenhuis, A. Oliveras, and C. Tinelli, Splitting on Demand in SAT Modulo Theories, LPAR '06, pp.512-526
DOI : 10.1007/11916277_35

F. Bobot, S. Conchon, E. Contejean, M. Iguernelala, S. Lescuyer et al., The Alt-Ergo Automated Theorem Prover

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver
DOI : 10.1007/978-3-540-78800-3_24

L. De-moura and B. Dutertre, Yices: An SMT Solver

I. Dillig, T. Dillig, and A. Aiken, Cuts from proofs: A complete and practical technique for solving linear inequalities over integers, CAV 2009, pp.233-247, 2009.

B. Dutertre and L. De-moura, A Fast Linear-Arithmetic Solver for DPLL(T), Proceedings, pp.81-94, 2006.
DOI : 10.1007/11817963_11

G. Farkas, ¨ Uber die theorie der einfachen ungleichungen, Journal für die Reine und Angewandte Mathematik, vol.124, pp.1-27, 1902.

A. Griggio, A practical approach to satisability modulo linear integer arithmetic, Journal on Satisfiability Boolean Modeling and Computation, vol.8, pp.1-27, 2012.
DOI : 10.1007/978-3-642-19835-9_13
URL : http://arxiv.org/abs/1010.4422

A. Griggio, B. Schaafsma, A. Cimatti, and R. Sebastiani, MathSAT 5: An SMT Solver for Formal Verification

D. Jovanovic and L. De-moura, Cutting to the Chase Solving Linear Integer Arithmetic, CADE-23 Proceedings, pp.338-353, 2011.
DOI : 10.1145/1217856.1217859

K. Korovin and A. Voronkov, Solving Systems of Linear Inequalities by Bound Propagation, CADE-23, pp.369-383, 2011.
DOI : 10.1145/1217856.1217859
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.4352

D. Kroening and O. Strichman, Decision Procedures: An Algorithmic Point of View, 2008.
DOI : 10.1007/978-3-662-50497-0

W. Pugh, The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.4-13, 1991.
DOI : 10.1145/125826.125848

A. Schrijver, Theory of linear and integer programming. Wiley-Interscience series in discrete mathematics and optimization, 1998.