Constitutes the refereed proceedings of the 4th International Conference on Integration of AI & OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. This book presents methodological & foundational issues from AI, OR, & algorithmics.