, Universally Quantified Interval Constraints Revising Hull and Box Consistency, CP 2000 ICLP Collavizza, F. Delobel, and M. Rueher. Extending Consistent Domains of Numeric CSP. In IJCAI, pp.67-82, 1999.
, Modal intervals : Reason and ground semantics, Goldsztejn, 2005] A. Goldsztejn. Définition et Applications des Extensions des Fonctions Réelles aux Intervalles Généralisés, pp.27-3577, 1985.
DOI : 10.1007/3-540-16437-5_4
, A branch and prune algorithm for the approximation of non-linear AE-solution sets, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1650-1654, 2006.
DOI : 10.1145/1141277.1141665
URL : https://hal.archives-ouvertes.fr/hal-00481391
, Inner Aproximation of Distance Constraints with Existentially Quantified Parameters, Proc. of ACM SAC'06 Sainz, J. Vehí, and L. Jaulin. Quantified Set Inversion Algorithm with Applications to Control. Reliable Computing, pp.1660-1661369, 2005.
, Interval Analysis in the Extended Interval Space. Computing, Markov, E. Popova, and Ch. Ulrich. On the Solution of Linear Algebraic Equations Involving Interval Coefficients. Iterative Methods in Linear Algebra, II, pp.33-49216, 1980.
, Extended Interval Arithmetic in IEEE Floating-Point Environment Formal Solution to Systems of Interval Linear or Non- Linear Equations, Shary, 1996] S.P. Shary. Algebraic Approach to the Interval Linear Static Systems. Reliable Computing Shary. A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity. Reliable Computing, pp.100-129189, 1994.
, Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities, Canadian Conference on AI, pp.183-193, 2001.
DOI : 10.1007/3-540-45153-6_18
, Approximation Techniques for Non-linear Problems with Continuum of Solutions, SARA-Perez, and W.P. Seering. Extending the Constraint Propagation of Intervals . In IJCAI, pp.224-241, 1989.
DOI : 10.1007/3-540-45622-8_17