K. Apt and P. Zoeteweij, An Analysis of Arithmetic Constraints on Integer Intervals, Constraints, vol.27, issue.3, pp.429-468, 2007.
DOI : 10.1007/s10601-007-9017-9

I. Araya, B. Neveu, and G. Trombettoni, Exploiting Common Subexpressions in Numerical CSPs, Proceedings of CP'08, pp.342-357, 2008.
DOI : 10.1007/978-3-540-85958-1_23

C. Bessiere, K. Stergiou, and T. Walsh, Domain filtering consistencies for non-binary constraints, Artificial Intelligence, vol.172, issue.6-7, pp.6-7800, 2008.
DOI : 10.1016/j.artint.2007.10.016

URL : https://hal.archives-ouvertes.fr/lirmm-00250086

C. Bessiere, Chapter 3 Constraint Propagation, Handbook of Constraint Programming, pp.29-83, 2006.

C. Choi, W. Harvey, J. Lee, and P. Stuckey, Finite Domain Bounds Consistency Revisited, Proceedings of the Australian Conference on AI, pp.49-58, 2006.
DOI : 10.1007/11941439_9

R. Debruyne and C. Andbessì-ere, Domain Filtering Consistencies, JAIR, vol.14, pp.205-230, 2001.

W. Harvey and P. Stuckey, Improving linear constraint propagation by changing constraint representation, Constraints, vol.8, issue.2, pp.173-207, 2003.
DOI : 10.1023/A:1022323717928

R. E. Korf, Depth-first iterative-deepening, Artificial Intelligence, vol.27, issue.1, pp.97-109, 1985.
DOI : 10.1016/0004-3702(85)90084-0

K. Kritikos and D. Plexousakis, Mixed-Integer Programming for QoS-Based Web Service Matchmaking, IEEE Transactions on Services Computing, vol.2, issue.2, pp.122-139, 2009.
DOI : 10.1109/TSC.2009.10

C. Lecoutre and P. Prosser, Maintaining Singleton Arc Consistency, 3rd International Workshop on Constraint Propagation And Implementation (CPAI'2006), pp.47-61, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00118618

O. Lhomme, ¨. O. Akgün, I. P. Gent, C. Jefferson, and I. Miguel, Consistency techniques for numeric csps Automatically improving constraint models in savile row through associative-commutative common subexpression elimination, Proceedings of IJCAI-93 Proceedings of CP'14, pp.232-238, 1993.

R. Cortés, A. Martín-díaz, O. Durán, A. Toro, and M. , IMPROVING THE AUTOMATIC PROCUREMENT OF WEB SERVICES USING CONSTRAINT PROGRAMMING, International Journal of Cooperative Information Systems, vol.14, issue.04, pp.439-468, 2005.
DOI : 10.1142/S0218843005001225

M. Trick, A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints, Annals of Operations Research, vol.118, issue.1/4, pp.73-84, 2003.
DOI : 10.1023/A:1021801522545

Y. Zhang, Y. , and R. H. , Arc consistency on n-ary monotonic and linear constraints, Proceedings of CP'00, pp.470-483, 2000.