https://123dok.net/document/zx534dxw-approximating-pareto-curves-using-semidefinite-relaxations.html