Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings - J. Christopher Beck, Barbara M. Smith ((Lecture Notes in Computer Science))