Globally solving box-constrained nonconvex quadratic programs with semidefinite-based finite branch-and-bound

From MaRDI portal