TY  - RPRT
TI  - Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem
AU  - Albert Atserias
AU  - Joanna Fijalkow
PY  - 2023
DO  - 10.1137/20m1338435
UR  - https://arxiv.org/abs/1802.02388
ID  - 1802.02388
ER  -