Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings - Willem-Jan Hoeve, John N. Hooker ((Lecture Notes in Computer Science))