Derandomizing Approximation Algorithms Based on Semidefinite Programming | Synapse