Integration of AI and OR techniques in constraint programming for combinatorial optimization problems 10th international conference, CPAIOR 2013, Yorktown,NY, USA, May 18 - 22, 2013 ; proceedings (Springer, 2013)