Logic‐Based Benders Decomposition
John Hooker · 2000
This chapter contains sections titled: Benders Decomposition in the Abstract Classical Benders Decomposition Propositional Satisfiability 0-1 Linear Programming Optimization Plus Constraint Satisfaction Benders Decomposition for Branching