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...
Saved in:
Main Authors: | |
---|---|
Group Author: | ; ; |
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2016] |
Literature type: | Book |
Language: | English |
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 f |
Carrier Form: | xii, 254 pages : illustrations, forms ; 24 cm. |
Bibliography: | Includes bibliographical references (pages 235-247) and index. |
ISBN: |
9783319428475 (hardback) : 3319428470 (hardback) |
Index Number: | QA402 |
CLC: | O224 |
Call Number: | O224/B499 |
Contents: | 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. |