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 (Springer, 2007)