L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

U. Junker and F. Valbonne, QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms, Proc. of the IJCAI Workshop on Modelling and Solving problems with constraints, 2001.

A. Eggers, M. Fränzle, and C. Herde, SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems, Proc. of International Symposium on Automated Technology for Verification and Analysis, 2008.
DOI : 10.1007/978-3-540-78929-1_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8227

S. Gao, S. Kong, and E. M. Clarke, dReal: An SMT Solver for Nonlinear Theories over the Reals, Proc. of International Conference on Automated Deduction, 2013.
DOI : 10.1007/978-3-642-38574-2_14