Screen LibraryDecision 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. |