Follow
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem. (arXiv:1802.02388v2 [cs.LO] UPDATED) http://arxiv.org/abs/1802.02388
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem. (arXiv:1802.02388v2 [cs.LO] UPDATED) http://arxiv.org/abs/1802.02388