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=10.1.1.127.6356

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