Ebook: Hybrid Optimization: The Ten Years of CPAIOR

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xi
The Ten Years of CPAIOR: A Success Story....Pages 1-9
Hybrid Modeling....Pages 11-62
Global Constraints: A Survey....Pages 63-134
Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems....Pages 135-167
Hybrid Solving Techniques....Pages 169-190
Over-Constrained Problems....Pages 191-225
A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty....Pages 227-270
Constraint Programming and Local Search Hybrids....Pages 271-303
Hybrid Metaheuristics....Pages 305-335
Learning in Search....Pages 337-356
What Is Autonomous Search?....Pages 357-391
Software Tools Supporting Integration....Pages 393-423
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology....Pages 425-461
Bioinformatics: A Challenge to Constraint Programming....Pages 463-487
Sports Scheduling....Pages 489-508
Stimuli Generation for Functional Hardware Verification with Constraint Programming....Pages 509-558

---

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.
Content:
Front Matter....Pages i-xi
The Ten Years of CPAIOR: A Success Story....Pages 1-9
Hybrid Modeling....Pages 11-62
Global Constraints: A Survey....Pages 63-134
Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems....Pages 135-167
Hybrid Solving Techniques....Pages 169-190
Over-Constrained Problems....Pages 191-225
A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty....Pages 227-270
Constraint Programming and Local Search Hybrids....Pages 271-303
Hybrid Metaheuristics....Pages 305-335
Learning in Search....Pages 337-356
What Is Autonomous Search?....Pages 357-391
Software Tools Supporting Integration....Pages 393-423
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology....Pages 425-461
Bioinformatics: A Challenge to Constraint Programming....Pages 463-487
Sports Scheduling....Pages 489-508
Stimuli Generation for Functional Hardware Verification with Constraint Programming....Pages 509-558
....