Decision diagrams for optimization
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 prog...
| Other Authors: | Bergman, David,, Cire, Andre A.,, Hoeve, Willem-Jan van,, Hooker, John, 1949-, SpringerLink (Online service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2016.
|
| Physical Description: |
1 online resource. |
| Series: |
Artificial intelligence: foundations, theory, and algorithms.
|
| Subjects: |
| Summary: |
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]. |
|---|---|
| Item Description: |
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. 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]. Includes bibliographical references and index. |
| Physical Description: |
1 online resource. |
| Bibliography: |
Includes bibliographical references and index. |
| ISBN: |
9783319428499 3319428497 3319428470 9783319428475 |