Abstract.
Benders decomposition uses a strategy of ``learning from one's mistakes.'' The aim of this paper is to extend this strategy to a much larger class of problems. The key is to generalize the linear programming dual used in the classical method to an ``inference dual.'' Solution of the inference dual takes the form of a logical deduction that yields Benders cuts. The dual is therefore very different from other generalized duals that have been proposed. The approach is illustrated by working out the details for propositional satisfiability and 0-1 programming problems. Computational tests are carried out for the latter, but the most promising contribution of logic-based Benders may be to provide a framework for combining optimization and constraint programming methods.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: November 2000 / Accepted: January 2003 Published online: March 21, 2003
RID="⋆"
ID="⋆" This research was partially supported by U.S. Office of Naval Research Grant N00014-95-1-0517 and by the Engineering Design Research Center at Carnegie Mellon University, an Engineering Research Center of the National Science Foundation, under grant EEC-8943164.
Rights and permissions
About this article
Cite this article
Hooker, J., Ottosson, G. Logic-based Benders decomposition. Math. Program., Ser. A 96, 33–60 (2003). https://doi.org/10.1007/s10107-003-0375-9
Issue Date:
DOI: https://doi.org/10.1007/s10107-003-0375-9