Logic-Based Benders Decomposition : Theory and Applications / by John Hooker.

Format:

Book

Author/Creator:

Hooker, John.

Series:

Synthesis Lectures on Operations Research and Applications, 2770-6311

Language:

English

Subjects (All):

Mathematical optimization.

Operations research.

Mathematics.

Production management.

Optimization.

Operations Research and Decision Theory.

Applications of Mathematics.

Operations Management.

Local Subjects:

Optimization.

Operations Research and Decision Theory.

Applications of Mathematics.

Operations Management.

Physical Description:

1 online resource (148 pages)

Edition:

1st ed. 2024.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2024.

Summary:

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.

Contents:

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.

Notes:

Description based on publisher supplied metadata and other sources.

Other Format:

Print version: Hooker, John Logic-Based Benders Decomposition

ISBN:

9783031450396

3031450396

OCLC:

1411310478