# Global Solutions of Nonconvex Standard Quadratic Programs via Mixed Integer Linear Programming Reformulations

arXiv: https://arxiv.org/abs/1810.02307 · HTML: https://mlsanity.com/paper/1810.02307/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 4 Oct 2018.

## Built on by (most cited first, 1 of 1)

- [Addressing Unboundedness in Quadratically-Constrained Mixed-Integer Problems](https://mlsanity.com/paper/2405.05978/) (2024)

## Abstract (arXiv)

A standard quadratic program is an optimization problem that consists of minimizing a (nonconvex) quadratic form over the unit simplex. We focus on reformulating a standard quadratic program as a mixed integer linear programming problem. We propose two alternative mixed integer linear programming formulations. Our first formulation is based on casting a standard quadratic program as a linear program with complementarity constraints. We then employ binary variables to linearize the complementarity constraints. For the second formulation, we first derive an overestimating function of the objective function and establish its tightness at any global minimizer. We then linearize the overestimating function using binary variables and obtain our second formulation. For both formulations, we propose a set of valid inequalities. Our extensive computational results illustrate that the proposed mixed integer linear programming reformulations significantly outperform other global solution approaches. On larger instances, we usually observe improvements of orders of magnitude.