Leram - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Third International Conference, CPAIOR 2006, ... May 31 - June 2, 2006, Proceedings: 3990