Cargando…

Decision Diagrams for Optimization

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 prog...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Bergman, David (Autor), Cire, Andre A. (Autor), van Hoeve, Willem-Jan (Autor), Hooker, John (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Artificial Intelligence: Foundations, Theory, and Algorithms,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-42849-9
003 DE-He213
005 20220112133953.0
007 cr nn 008mamaa
008 161006s2016 sz | s |||| 0|eng d
020 |a 9783319428499  |9 978-3-319-42849-9 
024 7 |a 10.1007/978-3-319-42849-9  |2 doi 
050 4 |a Q334-342 
050 4 |a TA347.A78 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
100 1 |a Bergman, David.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Decision Diagrams for Optimization  |h [electronic resource] /  |c by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. 
250 |a 1st ed. 2016. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a XII, 254 p. 79 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Artificial Intelligence: Foundations, Theory, and Algorithms,  |x 2365-306X 
505 0 |a 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. 
520 |a 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]. 
650 0 |a Artificial intelligence. 
650 0 |a Operations research. 
650 0 |a Mathematical optimization. 
650 0 |a Management science. 
650 0 |a Computer science. 
650 1 4 |a Artificial Intelligence. 
650 2 4 |a Operations Research and Decision Theory. 
650 2 4 |a Discrete Optimization. 
650 2 4 |a Operations Research, Management Science . 
650 2 4 |a Theory of Computation. 
700 1 |a Cire, Andre A.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a van Hoeve, Willem-Jan.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Hooker, John.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319428475 
776 0 8 |i Printed edition:  |z 9783319428482 
776 0 8 |i Printed edition:  |z 9783319826790 
830 0 |a Artificial Intelligence: Foundations, Theory, and Algorithms,  |x 2365-306X 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-42849-9  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)