03763nam a22005415i 4500 978-3-031-45039-6 DE-He213 20251030110834.0 cr nn 008mamaa 231118s2024 sz | s |||| 0|eng d 9783031450396 978-3-031-45039-6 10.1007/978-3-031-45039-6 doi QA402.5-402.6 PBU bicssc MAT042000 bisacsh PBU thema Hooker, John. author. aut http://id.loc.gov/vocabulary/relators/aut 67303 Logic-Based Benders Decomposition [electronic resource] : Theory and Applications / by John Hooker. 1st ed. 2024. Cham : Springer International Publishing : Imprint: Springer, 2024. IX, 142 p. 13 illus. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Synthesis Lectures on Operations Research and Applications, 2770-6311 Introduction -- Inference Duality -- The Basic Logic-based Benders Method -- Classical Benders Decomposition -- Combinatorial Benders Cuts -- Stochastic and Robust Optimization -- LBBD and Decision Diagrams -- LBBD and Heuristic Methods -- Task Assignment and Scheduling -- .Vehicle Routing -- Shop, Factory, and Employee Scheduling -- Other Scheduling and Logistics Problems; Health-related Applications -- Network Design -- Other Applications. This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex optimization problems into components that are small enough for practical solution. The author introduces logic-based Benders decomposition for optimization, which substantially generalizes the classical Benders method. It can reduce solution times by orders of magnitude and allows decomposition to be applied to a much wider variety of optimization problems. On the theoretical side, this book provides a full account of inference duality concepts that underlie LBBD, as well as a description of how LBBD can be combined with stochastic and robust optimization, heuristic methods, and decision diagrams. It also clarifies the connection between LBBD and combinatorial Benders cuts for mixed integer programming. On the practical side, it explains how LBBD has been applied to a rapidly growing variety of problem domains. After describing basic theory, this book provides a comprehensive review of the rapidly growing literature that describes these applications, in each case explaining how LBBD is adapted to the problem at hand. In doing so this work provides a sourcebook of ideas for applying LBBD to new problems as they arise. Mathematical optimization. 65522 Operations research. 57943 Mathematics. 65523 Production management. 67141 Optimization. 65528 Operations Research and Decision Theory. 67143 Applications of Mathematics. 65529 Operations Management. 67304 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031450389 Printed edition: 9783031450402 Printed edition: 9783031450419 Synthesis Lectures on Operations Research and Applications, 2770-6311 65533 https://doi.org/10.1007/978-3-031-45039-6 ZDB-2-SXSC 56575 56575