000763692 000__ 03170cam\a2200577Ii\4500 000763692 001__ 763692 000763692 005__ 20230306142450.0 000763692 006__ m\\\\\o\\d\\\\\\\\ 000763692 007__ cr\cn\nnnunnun 000763692 008__ 161102s2016\\\\sz\\\\\\o\\\\\000\0\eng\d 000763692 019__ $$a962435954 000763692 020__ $$a9783319428499$$q(electronic book) 000763692 020__ $$a3319428497$$q(electronic book) 000763692 020__ $$z9783319428475 000763692 035__ $$aSP(OCoLC)ocn961910600 000763692 035__ $$aSP(OCoLC)961910600$$z(OCoLC)962435954 000763692 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dAZU$$dOCLCO$$dEBLCP$$dIDEBK$$dGW5XE$$dYDX 000763692 049__ $$aISEA 000763692 050_4 $$aQA402.5 000763692 050_4 $$aTJ210.2-211.495 000763692 08204 $$a519.6/4$$223 000763692 08204 $$a004 000763692 24500 $$aDecision diagrams for optimization /$$cDavid Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. 000763692 264_1 $$aCham, Switzerland :$$bSpringer,$$c2016. 000763692 300__ $$a1 online resource. 000763692 336__ $$atext$$btxt$$2rdacontent 000763692 337__ $$acomputer$$bc$$2rdamedia 000763692 338__ $$aonline resource$$bcr$$2rdacarrier 000763692 4901_ $$aArtificial intelligence: foundations, theory, and algorithms 000763692 504__ $$aIncludes bibliographical references and index. 000763692 5050_ $$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. 000763692 506__ $$aAccess limited to authorized users. 000763692 520__ $$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]. 000763692 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 11, 2016). 000763692 650_0 $$aCombinatorial optimization. 000763692 650_0 $$aComputer science. 000763692 650_0 $$aOperations research. 000763692 650_0 $$aDecision making. 000763692 650_0 $$aComputers. 000763692 650_0 $$aArtificial intelligence. 000763692 650_0 $$aManagement science. 000763692 650_0 $$aMathematical optimization. 000763692 7001_ $$aBergman, David,$$eauthor. 000763692 7001_ $$aCire, Andre A.$$eauthor. 000763692 7001_ $$aHoeve, Willem-Jan van,$$eauthor. 000763692 7001_ $$aHooker, John,$$d1949-$$eauthor. 000763692 830_0 $$aArtificial intelligence: foundations, theory, and algorithms. 000763692 852__ $$bebk 000763692 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-42849-9$$zOnline Access$$91397441.1 000763692 909CO $$ooai:library.usi.edu:763692$$pGLOBAL_SET 000763692 980__ $$aEBOOK 000763692 980__ $$aBIB 000763692 982__ $$aEbook 000763692 983__ $$aOnline 000763692 994__ $$a92$$bISE