Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings - Simonis, Helmut (Springer, 2014)