Derandomizing semidefinite programming based approximation algorithms | Synapse