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 van Hoeve, John N. Hooker (Eds.) / Berlin : Springer , cop. 2009