Benders decomposition with integer subproblem

The application of Benders decomposition method to a problem might result in a subproblem including integer variables. In this case, it is not able to apply the classical Benders algorithm. In this study we present a Branch-and-Cut algorithm, which introduces the notion of "Local Cuts" as well as "Global Cuts". The integrality constraints of the subproblem are relaxed and the relaxed problem is solved in a branch-and-bound framework, where in each node, the Benders algorithm is applied between the master problem and the relaxed subproblem. Benders cuts generated in a node of the branch-and bound tree are proved to be valid for all its descendants, but they are not necessarily valid for the non-descendant nodes. These cuts, referred to as local cuts, can be used to warm start the master problem of each descendant node, thus leading to better initial bounds. Furthermore, a novel way is presented for defining the local cuts in a general form. This general form is in fact a function of the subproblems' variables and enables us to reuse the generated (local) cuts in the whole tree by updating some values of the function. The performance of the proposed algorithm is tested on the classical Capacitated Fixed Charge Multiple Knapsack Problem (CFCMKP). (C) 2017 Elsevier Ltd. All rights reserved.