Albert Atserias, Joanna Fijalkow. Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem. SIAM Journal on Computing, 52(5):1193-1229, October 2023. [doi]
@article{AtseriasF23,
title = {Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem},
author = {Albert Atserias and Joanna Fijalkow},
year = {2023},
month = {October},
doi = {10.1137/20m1338435},
url = {https://doi.org/10.1137/20m1338435},
researchr = {https://researchr.org/publication/AtseriasF23},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {52},
number = {5},
pages = {1193-1229},
}