A Duality-Guided Proximal Splitting Method for Robust Constrained Best Approximation via Convex Semi-Definite Program Reformulations | Synapse