Hybrid optimization : the ten years of CPAIOR
著者
書誌事項
Hybrid optimization : the ten years of CPAIOR
（Springer optimization and its applications, v. 45）
Springer, c2011
- : hardcover
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
Hybrid Optimization focuses on the application of artificial intelligence and operations research techniques to constraint programming for solving combinatorial optimization problems. This book covers the most relevant topics investigated in the last ten years by leading experts in the field, and speculates about future directions for research.
This book includes contributions by experts from different but related areas of research including constraint programming, decision theory, operations research, SAT, artificial intelligence, as well as others. These diverse perspectives are actively combined and contrasted in order to evaluate their relative advantages.
This volume presents techniques for hybrid modeling, integrated solving strategies including global constraints, decomposition techniques, use of relaxations, and search strategies including tree search local search and metaheuristics. Various applications of the techniques presented as well as supplementary computational tools are also discussed.
目次
- - PART 1: MODELING.- CHAPTER 2 - Hybrid Modeling
- John Hooker.- PART 2: SOLVING.- CHAPTER 3 - Global Constraints
- Jean-Charles Regin.- CHAPTER 4 Hybrid Solvers
- J. Grossmann L. Wolsey.- CHAPTER 5 OverConstrained Problems
- Willem van Hoeve.- PART 3 SEARCH.- CHAPTER 6 - Hybrid Search Strategies-> Integration of LS and tree search
- Gilles Pesant.- CHAPTER 7 - Hybrid metaheuristics
- Andrea Roli, Christian Blum.- CHAPTER 8 Learning in search/modeling
- Philippe Refalo.- CHAPTER 9 Autonomous search
- Yussef Hamadi, Frederic Saubion.- PART 4 TOOLS.- CHAPTER 10 - TOOLS
- Mark Wallace, Peter Stuckey.- CHAPTER 11 Connections/Integration with SAT solvers
- Youssef Hamadi and Lucas Bordeaux.- PART 5 INNOVATIVE APPLICATIONS.- CHAPTER 12 Bioinformatics
- Pedro Barahona.- CHAPTER 13 Processor Validation
- Yehuda Naveh.- CHAPTER 14 Networks
- Helmut Simonis.- CHAPTER 15 Airline scheduling
- Cynthia Barnhart.- CHAPTER 16 sport scheduling
- Mike Trick.- CHAPTER 17 Optimal control of hybrid systems and embdded system design
- Alberto Bemporad, Luca Benini.
「Nielsen BookData」 より