Improving Quantum Clocks via Semidefinite Programming | NIST