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...
Κύριοι συγγραφείς: | , , , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Σειρά: | Artificial Intelligence: Foundations, Theory, and Algorithms,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.