Exploiting Monotonicity in Interval Constraint Propagation, Proc. AAAI, pp.9-14, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00654400
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity, Constraint Programming, vol.6308, pp.61-68, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00654414
A Contractor Based on Convex Interval Taylor, CPAIOR 2012, pp.1-16, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00673447
Adaptive Singleton-based Consistencies, pp.2601-2607, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01067213
Revising Hull and Box Consistency, Proc. ICLP, pp.230-244, 1999. ,
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency, Proc. CP, pp.560-564, 2001. ,
Optimal and Suboptimal Singleton Arc Consistency Algorithms, Proc. IJCAI, pp.54-59, 2005. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00106097
, Contractor Programming, vol.173, pp.1079-1100, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428957
Hull Consistency Under Monotonicity, Proc. CP, vol.5732, pp.188-195, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00428970
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proc. IJCAI, pp.412-417, 1997. ,
Global Optimization using Interval Analysis. Marcel Dekker inc, 1992. ,
Robust Autonomous Robot Localization Using Interval Analysis, Reliable Computing, vol.3, issue.6, pp.337-361, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00844915
Efficient and safe global constraints for handling numerical constraint systems, SIAM Journal on Numerical Analysis, vol.42, issue.5, pp.2076-2097, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00907765
Consistency Techniques for Numeric CSPs, IJCAI, pp.232-238, 1993. ,
Consistency in Networks of Relations, Artificial Intelligence, vol.8, pp.99-118, 1977. ,
Interval Analysis and Robotics, Symp. of Robotics Research, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00001152
Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution desprobì emes avec contraintes, 1997. ,
Extensions of Affine Arithmetic: Application to Global Optimization, Journal of Universal Computer Science, vol.8, issue.11, pp.992-1015, 2002. ,
Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization, Journal of Universal Computer Science, vol.4, issue.6, pp.589-603, 1998. ,
Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems, Proc. IJCAI, pp.366-371, 1997. ,
A Polyhedral Branch-and-Cut Approach to Global Optimization, Mathematical Programming, vol.103, issue.2, pp.225-249, 2005. ,
Inner Regions and Interval Linearizations for Global Optimization, pp.99-104, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648085
Constructive Interval Disjunction, Proc. CP, vol.4741, pp.635-650, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00936654
A Rigorous ODE Solver and Smale's 14th Problem. Found, Comput. Math, vol.2, pp.53-117, 2002. ,
Numerica : A Modeling Language for Global Optimization, 1997. ,