https://9dok.net/document/z3d4op7e-lago-heuristic-branch-cut-algorithm-fornonconvex-minlps.html