Bergman / Cire / van Hoeve Decision Diagrams for Optimization

1. Auflage 2016
ISBN: 978-3-319-42849-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 254 Seiten, eBook

Reihe: Artificial Intelligence: Foundations, Theory, and Algorithms

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]

Zielgruppe

Research

Autoren/Hrsg.

Bergman, David

Cire, Andre A.

van Hoeve, Willem-Jan

Hooker, John

Inhaltsverzeichnis

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.