This article follows a tutorial, given by the authors on dynamic constraint solving at CP 2003 (Ninth International Conference on Principles and Practice of Constraint Programming) in Kinsale, Ireland (Verfaillie, G., & Jussien, N.).Expand

Search algorithms for solving CSP (Constraint Satisfaction Problems) usually fall into one of two main families: local search algorithms and systematic algorithms. Both families have their… Expand

This paper presents the PaLM system, an implementation of an explanation-based constraint programming system in choco [16], a constraint programming layer on top of claire.Expand

In this paper, we present an original approach (CPRTA) based on constraint programming to solve a static allocation problem of hard real-time tasks.Expand

We advocate the use of explanations within constraint programming and introduce a new general explanation-based search technique that can be used to design efficient algorithms.Expand

In this paper, a special case of the vehicle routing problem in which the demands consist in a set of rectangular two-dimensional weighted items is considered. The vehicles have a two-dimensional… Expand