Hybrid Optimization (eBook, PDF)

The Ten Years of CPAIOR
Redaktion: Hentenryck, Pascal Van; Milano, Michela

• Format: PDF

Produktbeschreibung

This volume focuses on the integration of artificial intelligence and constraint programming to solve problems in operations research and combinatorial optimization. This volume collects the contributions of experts from various research areas including decision theory, systems engineering, propositional satisfiability, mathematical optimization, and artificial intelligence. These invited scholars describe and demonstrate some of the most important topics and results from the last ten years of research related to hybrid optimization. Key Features: - Includes both well established research results, and directions for future research. - Provides several solution methods for common combinatorial optimization and decision problems. - Presents both theoretical techniques and real-world applications in artificial intelligence and operations research. Hybrid Optimization can serve as a valuable resource for graduate students, researchers and practitioners studying artificial intelligence or operations research who are interested in investigating or applying constraint programming techniques.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer New York
• Seitenzahl: 560
• Erscheinungstermin: 5. November 2010
• Englisch
• ISBN-13: 9781441916440
• Artikelnr.: 37342404

Inhaltsangabe

- 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).