• Publications
  • Influence
Choco: an Open Source Java Constraint Programming Library
TLDR
Choco is a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP). Expand
  • 236
  • 24
  • PDF
Constraint Solving in Uncertain and Dynamic Environments: A Survey
TLDR
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
  • 147
  • 14
  • PDF
Maintaining Arc-Consistency within Dynamic Backtracking
TLDR
Mac-dbt is able to solve very large problems and that it remains very stable as the size of the problems increases. Expand
  • 135
  • 11
  • PDF
Local search with constraint propagation and conflict-based heuristics
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 theirExpand
  • 225
  • 9
  • PDF
The PaLM system: explanation-based constraint programming
TLDR
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
  • 123
  • 7
Solving a real-time allocation problem with constraint programming
TLDR
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
  • 64
  • 5
  • PDF
The versatility of using explanations within constraint programming
TLDR
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
  • 56
  • 4
  • PDF
Two-Dimensional Pickup and Delivery Routing Problem with Loading Constraints
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-dimensionalExpand
  • 40
  • 3
  • PDF
E-constraints: Explanation-based constraint programming
  • 57
  • 3