max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

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.