Logic-Based Benders Decomposition
read more
Citations
Handbook of Constraint Programming
The Benders decomposition algorithm: A literature review
Enterprise‐wide optimization: A new frontier in process systems engineering
Scope for industrial applications of production scheduling models and solution methods
Combinatorial Benders' Cuts for Mixed-Integer Linear Programming
References
A Machine-Oriented Logic Based on the Resolution Principle
Generalized Benders decomposition
Foundations of Constraint Satisfaction
Partitioning procedures for solving mixed-variables programming problems
The Problem of Simplifying Truth Functions
Related Papers (5)
Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems
Frequently Asked Questions (8)
Q2. What is the way to solve the dual subproblem?
Because the subproblem has an infinite optimal value, the dual solution must consist of a proof that 0 ≥ β for arbitrarily large β, using the clauses {Ci(x) | i ∈ Ī(ȳ)} as premises.
Q3. Why did the authors use a modified branch-and-bound algorithm?
Because the master problem does not have the traditional inequality constraints, the authors solved it with a modified branch-and-bound algorithm.
Q4. What is the way to solve the subproblem dual?
Ax ≥ a − g(ȳ)x ≥ 0(11)Due to classical strong duality, the subproblem dual (8) can be written,max u(a− g(ȳ)) + f(ȳ)s.t. uA ≤ cu ≥ 0(12)provided either (11) or (12) is feasible.
Q5. How does the linearity of the subproblem help one to obtain a Benders cut?
The linearity of the subproblem allows one to obtain a Benders cut in an easy and systematic way, namely by solving the linear programmingdual.
Q6. What is the definition of a generalized dual?
A generalized dual can therefore defined as an inference dual, which is the problem of inferring a strongest possible bound from the constraint set.
Q7. What is the optimal solution to the subproblem?
The subproblem is solved by solving min cixis.t. Aixi ≥ ai − Biȳxi ∈ {0, 1}ni(38)for i = 1, . . . , p to obtain optimal solutions x̄i and optimal values (β∗)i.
Q8. What is the objective function of z?
Because Benders decomposition searches for an optimal as well as a feasible solution, it actually enumerates trial values of (z, y), where z is the objective function value.