000			03258nam a22006135i 4500
001			978-3-319-42849-9
003			DE-He213
005			20200421112557.0
007			cr nn 008mamaa
008			161006s2016 gw | s |||| 0|eng d
020			_a9783319428499 _9978-3-319-42849-9
024	7		_a10.1007/978-3-319-42849-9 _2doi
050		4	_aQ334-342
050		4	_aTJ210.2-211.495
072		7	_aUYQ _2bicssc
072		7	_aTJFM1 _2bicssc
072		7	_aCOM004000 _2bisacsh
082	0	4	_a006.3 _223
100	1		_aBergman, David. _eauthor.
245	1	0	_aDecision Diagrams for Optimization _h[electronic resource] / _cby David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016.
300			_aXII, 254 p. 79 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aArtificial Intelligence: Foundations, Theory, and Algorithms, _x2365-3051
505	0		_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.
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].
650		0	_aComputer science.
650		0	_aOperations research.
650		0	_aDecision making.
650		0	_aComputers.
650		0	_aArtificial intelligence.
650		0	_aManagement science.
650		0	_aMathematical optimization.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aOperation Research/Decision Theory.
650	2	4	_aDiscrete Optimization.
650	2	4	_aOperations Research, Management Science.
650	2	4	_aTheory of Computation.
700	1		_aCire, Andre A. _eauthor.
700	1		_avan Hoeve, Willem-Jan. _eauthor.
700	1		_aHooker, John. _eauthor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783319428475
830		0	_aArtificial Intelligence: Foundations, Theory, and Algorithms, _x2365-3051
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-42849-9
912			_aZDB-2-SCS
942			_cEBK
999			_c59187 _d59187