Semidefinite Relaxation of Quadratic Optimization Problems | Synapse