1: \begin{abstract}

2: We consider a general mixed-integer convex program. We first develop an algorithm for solving this problem, and show its finite convergence. We then develop a finitely convergent decomposition algorithm that separates binary variables from integer and continuous variables. The integer and continuous variables are treated as second stage variables. An oracle for generating a parametric cut under a subgradient decomposition assumption is developed. The decomposition algorithm is applied to show that two-stage (distributionally robust) convex programs with binary variables in the first stage can be solved to optimality within a cutting plane framework. For simplicity, the paper assumes that certain convex programs generated in the course of the algorithm are solved to optimality.  

3: 

4: %algorithm finds an exact optimal solution under the assumption that convex programs are solved to exact optimality, and supporting hyperplanes are available to certain sub-problems arising in the algorithm. The second algorithm finds an $\epsilon$-optimal solution under mild regularity assumptions, however it allows $\epsilon$-optimal solutions of convex programs arising as sub-problems. Both algorithms are specialized for the  mixed-integer linear conic programs. 

5: \end{abstract}

6: