GloMIQO: Global Mixed-Integer Quadratic Optimizer 2013 (1) R. Misener, C. A. Floudas, GloMIQO: Global Mixed-Integer Quadratic Optimizer, Journal of Global Optimization, volume 57, pp.3-50, 2013