1: \begin{abstract}

2: This paper addresses a class of problems under interval data uncertainty composed of

3: \emph{min-max regret} versions of classical 0-1 optimization problems with interval costs. We refer to them as \emph{interval 0-1 min-max regret} problems.

4: The state-of-the-art exact algorithms for this class of problems work by solving a corresponding mixed integer linear programming formulation

5: in a Benders' decomposition fashion. Each of the possibly exponentially many Benders' cuts is separated on the fly through the resolution of an instance of

6: the classical 0-1 optimization problem counterpart. Since these separation subproblems may be NP-hard, not all of them can be modeled by means of linear

7: programming, unless P = NP. In these cases, the convergence of the aforementioned algorithms are not guaranteed in a straightforward manner.

8: In fact, to the best of our knowledge, their finite convergence has not been explicitly proved for any interval 0-1 min-max regret problem.

9: In this work, we formally describe these algorithms through the definition of a logic-based Benders' decomposition framework and prove their convergence

10: to an optimal solution in a finite number of iterations. As this framework is applicable to any interval 0-1 min-max regret problem, its finite optimal

11: convergence also holds in the cases where the separation subproblems are NP-hard.

12: \end{abstract}

13: