Pascal Van Hentenryck Laurence A. Wolsey Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings CPAIOR Lecture Notes in Computer Science 4510 Springer 2007 978-3-540-72396-7 db/conf/cpaior/cpaior2007.html