Exploiting Sparsity in Semidefinite Programming via Matrix Completion I: General Framework | Synapse