Jean-Francois Puget (ILOG), State of the Art in Constraint Programming Solvers

The talk will review the major techniques implemented in today's CP solvers. It will discuss their strength, and their limits. We will conclude with a discussion of active research areas, such as symmetry breaking, hybrid methods, and others.