Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems; Barták, Roman; Kanade, Takeo; Milano, Michela (Springer Berlin / Heidelberg, 2005)