Zhou, Kai; Kılınç, Mustafa R.; Chen, Xi; Sahinidis, Nikolaos V. An efficient strategy for the activation of MIP relaxations in a multicore global MINLP solver. (English) Zbl 1393.90076 J. Glob. Optim. 70, No. 3, 497-516 (2018). MSC: 90C11 90C26 PDFBibTeX XMLCite \textit{K. Zhou} et al., J. Glob. Optim. 70, No. 3, 497--516 (2018; Zbl 1393.90076) Full Text: DOI
Yunes, Tallys; Aron, Ionuţ D.; Hooker, J. N. An integrated solver for optimization problems. (English) Zbl 1226.90047 Oper. Res. 58, No. 2, 342-356 (2010). MSC: 90C11 90C26 PDFBibTeX XMLCite \textit{T. Yunes} et al., Oper. Res. 58, No. 2, 342--356 (2010; Zbl 1226.90047) Full Text: DOI Link
Liberti, Leo Reformulations in mathematical programming: Definitions and systematics. (English) Zbl 1158.90390 RAIRO, Oper. Res. 43, No. 1, 55 (2009). MSC: 90C11 90C26 90C27 90C30 90C99 PDFBibTeX XMLCite \textit{L. Liberti}, RAIRO, Oper. Res. 43, No. 1, 55 (2009; Zbl 1158.90390) Full Text: DOI EuDML Link