N. Bjørner, Integrating Decision Procedures for Temporal Verification, 1999.

S. Boyd and L. Vandenberghe, Convex Optimization, 2004.

M. Bromberger and C. Weidenbach, Fast Cube Tests for LIA Constraint Solving, IJCAR 2016, 2016.
DOI : 10.1007/978-3-319-40229-1_9

URL : https://hal.archives-ouvertes.fr/hal-01403200

R. Bruttomesso, A. Cimatti, A. Franzen, A. Griggio, and R. Sebastiani, Delayed theory combination vs. nelson-oppen for satisfiability modulo theories: a comparative analysis, AMAI, vol.55, issue.1, pp.63-99, 2009.
DOI : 10.1007/11916277_36

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

G. Faure, R. Nieuwenhuis, A. Oliveras, and E. Rodríguez, SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers, LNCS, vol.4996, pp.77-90, 2008.
DOI : 10.1007/978-3-540-79719-7_8

URL : https://hal.archives-ouvertes.fr/inria-00358813

A. Griggio, A practical approach to satisfiability modulo linear integer arithmetic, JSAT, vol.8, issue.12, pp.1-27, 2012.

R. A. Horn and C. R. Johnson, Norms for vectors and matrices, Matrix Analysis, pp.313-386, 2012.
DOI : 10.1017/cbo9780511810817.007

P. Refalo, Approaches to the incremental detection of implicit equalities with the revised simplex method, LNCS, vol.1490, pp.481-496, 1998.
DOI : 10.1007/BFb0056634

J. Telgen, Identifying Redundant Constraints and Implicit Equalities in Systems of Linear Constraints, Management Science, vol.29, issue.10, pp.1209-1222, 1983.
DOI : 10.1287/mnsc.29.10.1209

P. Van-hentenryck and T. Graf, Standard forms for rational linear arithmetic in constraint logic programming, Annals of Mathematics and Artificial Intelligence, vol.5, issue.2-4, pp.303-319, 1992.
DOI : 10.1007/BF01543480