Decision diagrams for optimization / David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker.
2016
QA402.5
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Decision diagrams for optimization / David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker.
ISBN
9783319428499 (electronic book)
3319428497 (electronic book)
9783319428475
3319428497 (electronic book)
9783319428475
Published
Cham, Switzerland : Springer, 2016.
Language
English
Description
1 online resource.
Call Number
QA402.5
Dewey Decimal Classification
519.6/4
004
004
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 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].
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 11, 2016).
Added Author
Bergman, David, author.
Cire, Andre A. author.
Hoeve, Willem-Jan van, author.
Hooker, John, 1949- author.
Cire, Andre A. author.
Hoeve, Willem-Jan van, author.
Hooker, John, 1949- author.
Series
Artificial intelligence: foundations, theory, and algorithms.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of 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.
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.