Hybrid Optimization

- Preface.- The Ten Years of CPAIOR: A Success Story (M. Milano and P. V. Hentenryck).- Hybrid Modeling (J. N. Hooker).- Global Constraints: A Survey (J.C. Régin).- Decomposition Techniques for Hybrid MILP/CP Models Applied to Scheduling and Routing Problems (P. Castro, I. E. Grossmann, and L.M. Rousseau).- Hybrid Solving Techniques (T. Achterberg and A. Lodi).- Over-Constrained Problems (W.J. V. Hoeve).- A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty (B. Hnich, R. Rossi, S.A. Tarim, and S. Prestwich).- Constraint Programming and Local Search Hybrids (P. Shaw).- Hybrid Metaheuristics (C. Blum, J. Puchinger, G. Raidl, and A. Roli).- Learning in Search (P. Refalo).- What is Autonomous Search? (Y. Hamadi, E. Monfroy, and F. Saubion).- Software Tools Supporting Integration (T. Yunes).- Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology (F. Corblin, L. Bordeaux, E. Fanchon, Y. Hamadi, and L. Trilling).- Bioinformatics: A Challenge to Constraint Programming (P. Barahona, L. Krippahl, O. Perriquet).- Sports Scheduling (M. A. Trick).- Stimuli Generation for Functional Hardware Verification with Constraint Programming (A. Adir and Y. Naveh).