An Analysis of Arithmetic Constraints on Integer Intervals, Constraints, vol.27, issue.3, pp.429-468, 2007. ,
DOI : 10.1007/s10601-007-9017-9
Exploiting Common Subexpressions in Numerical CSPs, Proceedings of CP'08, pp.342-357, 2008. ,
DOI : 10.1007/978-3-540-85958-1_23
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
Chapter 3 Constraint Propagation, Handbook of Constraint Programming, pp.29-83, 2006. ,
Finite Domain Bounds Consistency Revisited, Proceedings of the Australian Conference on AI, pp.49-58, 2006. ,
DOI : 10.1007/11941439_9
Domain Filtering Consistencies, JAIR, vol.14, pp.205-230, 2001. ,
Improving linear constraint propagation by changing constraint representation, Constraints, vol.8, issue.2, pp.173-207, 2003. ,
DOI : 10.1023/A:1022323717928
Depth-first iterative-deepening, Artificial Intelligence, vol.27, issue.1, pp.97-109, 1985. ,
DOI : 10.1016/0004-3702(85)90084-0
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
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
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. ,
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
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
Arc consistency on n-ary monotonic and linear constraints, Proceedings of CP'00, pp.470-483, 2000. ,