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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Bergman, David (Συγγραφέας), Cire, Andre A. (Συγγραφέας), van Hoeve, Willem-Jan (Συγγραφέας), Hooker, John (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.