Integrating Decision Procedures for Temporal Verification, 1999. ,
Convex Optimization, 2004. ,
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
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
A Fast Linear-Arithmetic Solver for DPLL(T), LNCS, vol.4144, pp.81-94, 2006. ,
DOI : 10.1007/11817963_11
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 practical approach to satisfiability modulo linear integer arithmetic, JSAT, vol.8, issue.12, pp.1-27, 2012. ,
Norms for vectors and matrices, Matrix Analysis, pp.313-386, 2012. ,
DOI : 10.1017/cbo9780511810817.007
Approaches to the incremental detection of implicit equalities with the revised simplex method, LNCS, vol.1490, pp.481-496, 1998. ,
DOI : 10.1007/BFb0056634
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
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