https://123dok.net/document/zkw06458-semidefinite-optimization-branch-bound-algorithm-reactive-optimal-problems.html