This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics; MIP; CSP and complexity; parallelism and search; and data mining and machine learning.
Helmut Simonis
artificial intelligence combinatorial optimization comparison of models constraint and logic programming constraint and logic programming dynamic programming dynamic programming graph algorithms heuristic functions construction heuristic functions construction modeling methodologies modeling methodologies operations research optimization search methodologies