Decision Diagrams for Optimization

• Κύριοι συγγραφείς: Bergman, David (Συγγραφέας), Cire, Andre A. (Συγγραφέας), van Hoeve, Willem-Jan (Συγγραφέας), Hooker, John (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Artificial Intelligence: Foundations, Theory, and Algorithms,
• Θέματα: Computer science.; Operations research.; Decision making.; Computers.; Artificial intelligence.; Management science.; Mathematical optimization.; Computer Science.; Artificial Intelligence (incl. Robotics).; Operation Research/Decision Theory.; Discrete Optimization.; Operations Research, Management Science.; Theory of Computation.

 This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution methods as well as problem-specific techniques. The book will be useful for researchers and practitioners in discrete optimization and constraint programming. "Decision Diagrams for Optimization is one of the most exciting developments emerging from constraint programming in recent years. This book is a compelling summary of existing results in this space and a must-read for optimizers around the world." [Pascal Van Hentenryck]. 

 Introduction -- Historical Overview -- Exact Decision Diagrams -- Relaxed Decision Diagrams -- Restricted Decision Diagrams -- Branch-and-Bound Based on Decision Diagrams -- Variable Ordering -- Recursive Modeling -- MDD-Based Constraint Programming -- MDD Propagation for Sequence Constraints -- Sequencing and Single-Machine Scheduling -- Index.