LEADER 04019nam  22006975  450 
001 9910149631303321
005 20251116173100.0
010   $a3-319-42849-7
024 7 $a10.1007/978-3-319-42849-9
035   $a(CKB)3710000000926198
035   $a(DE-He213)978-3-319-42849-9
035   $a(MiAaPQ)EBC4731232
035   $a(PPN)196324831
035   $a(EXLCZ)993710000000926198
100   $a20161006d2016      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDecision diagrams for optimization /$fby David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XII, 254 p. 79 illus.)
225 1 $aArtificial Intelligence: Foundations, Theory, and Algorithms,$x2365-3051
311 08$a3-319-42847-0 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- 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.
330   $aThis 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].
410  0$aArtificial Intelligence: Foundations, Theory, and Algorithms,$x2365-3051
606   $aArtificial intelligence
606   $aOperations research
606   $aDecision making
606   $aMathematical optimization
606   $aManagement science
606   $aComputers
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aOperations Research/Decision Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/521000
606   $aDiscrete Optimization$3https://scigraph.springernature.com/ontologies/product-market-codes/M26040
606   $aOperations Research, Management Science$3https://scigraph.springernature.com/ontologies/product-market-codes/M26024
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aArtificial intelligence.
615  0$aOperations research.
615  0$aDecision making.
615  0$aMathematical optimization.
615  0$aManagement science.
615  0$aComputers.
615 14$aArtificial Intelligence.
615 24$aOperations Research/Decision Theory.
615 24$aDiscrete Optimization.
615 24$aOperations Research, Management Science.
615 24$aTheory of Computation.
676   $a006.3
700   $aBergman$b David$4aut$4http://id.loc.gov/vocabulary/relators/aut$0906135
702   $aCire$b Andre A$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aHoeve$b Willem-Jan van$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aHooker$b John$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910149631303321
996   $aDecision Diagrams for Optimization$92026693
997   $aUNINA