- 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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want