Logic-based Benders decomposition

2003/04/01 by John Hooker, J.N. Hooker, G. Ottosson +1 · 586 citations
Computer Science · Mathematics · #AI-based Problem Solving and Planning #Algorithm #Artificial intelligence #Benders' decomposition #Class (philosophy) #Combinatorics #Computer science #Constraint Satisfaction and Optimization #Constraint programming #Decomposition #Decomposition method (queueing theory) #Discrete mathematics #Dual (grammatical number) #Dual polyhedron #Duality (order theory) #Inference #Linear programming #Logic, Reasoning, and Knowledge #Mathematical optimization #Mathematics #Propositional calculus #Satisfiability #Stochastic programming #Theoretical computer science

paper · open access · doi:10.1007/s10107-003-0375-9

published in Mathematical Programming 96(1), 33-60 (Springer Science+Business Media)

openalex publication_date 2003/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04

Citations

• Generalized Benders decomposition

Cited by

• Planning and Scheduling by Logic-Based Benders Decomposition
• A Branch-and-Repair Method for Three-Dimensional Bin Selection and Packing in E-Commerce
• Scope for industrial applications of production scheduling models and solution methods
• A Framework for Handling and Exploiting Symmetry in Benders' Decomposition
• Acceleration Techniques for Learning Optimal Classification Trees with Integer Programming
• Set System Approximation for Binary Integer Programs: Reformulations and Applications
• A hybrid solution approach for the Integrated Healthcare Timetabling Competition 2024
• Resource-dependent process times in hybrid flexible flowshops
• Deepest Cuts for Benders Decomposition
• A Benchmark for ASP Systems: Resource Allocation in Business Processes
• Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
• ILP Modulo Theories
• Aircraft Loading Optimization: MemComputing the 5th Airbus Problem
• Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations
• Pickup & Delivery with Time Windows and Transfers: combining decomposition with metaheuristics
• A Brief Tour of Logic and Optimization
• MemComputing Integer Linear Programming
• Logic-based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling
• A Relaxation-Based Decomposition Approach for Solving a Supported-Evacuation Problem in Wildfires
• Outbreak minimization v.s. influence maximization: an optimization framework. [europepmc]
• A dynamic integrated scheduling method based on hierarchical planning for heterogeneous AGV fleets in warehouses. [europepmc]
• Application of enhanced benders decomposition algorithm in circular assembly line balancing problem with task splitting. [europepmc]