Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem

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]

Abstract

Abstract is missing.