Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem | Publicación