Leram - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, ... Czech Republic, May 31 -- June 1, 2005: 3524