Leram - Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Cpaior 2013, Yor: 7874