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 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]

Presents a new theoretical and algorithmic approach to discrete optimization Authors among leading researchers in this domain Useful for researchers and practitioners in discrete optimization and constraint programming Includes supplementary material: sn.pub/extras

Inhalt

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.