04019nam 22006975 450 991014963130332120251116173100.03-319-42849-710.1007/978-3-319-42849-9(CKB)3710000000926198(DE-He213)978-3-319-42849-9(MiAaPQ)EBC4731232(PPN)196324831(EXLCZ)99371000000092619820161006d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierDecision diagrams for optimization /by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XII, 254 p. 79 illus.)Artificial Intelligence: Foundations, Theory, and Algorithms,2365-30513-319-42847-0 Includes bibliographical references and index.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.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].Artificial Intelligence: Foundations, Theory, and Algorithms,2365-3051Artificial intelligenceOperations researchDecision makingMathematical optimizationManagement scienceComputersArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Operations Research/Decision Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/521000Discrete Optimizationhttps://scigraph.springernature.com/ontologies/product-market-codes/M26040Operations Research, Management Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/M26024Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Artificial intelligence.Operations research.Decision making.Mathematical optimization.Management science.Computers.Artificial Intelligence.Operations Research/Decision Theory.Discrete Optimization.Operations Research, Management Science.Theory of Computation.006.3Bergman Davidauthttp://id.loc.gov/vocabulary/relators/aut906135Cire Andre Aauthttp://id.loc.gov/vocabulary/relators/autHoeve Willem-Jan vanauthttp://id.loc.gov/vocabulary/relators/autHooker Johnauthttp://id.loc.gov/vocabulary/relators/autBOOK9910149631303321Decision Diagrams for Optimization2026693UNINA