Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings - Beck, J. Christopher; Smith, Barbara M. (Springer Berlin Heidelberg, 2006)