Integration of AI and OR techniques in constraint programming for combinatorial optimization problems first International Conference, CPAIOR 2004, Nice, France, April 20 - 22, 2004 ; proceedings (Springer, 2004)