Atserias, Albert; Fijalkow, Joanna Definable ellipsoid method, sums-of-squares proofs, and the graph isomorphism problem. (English) Zbl 1523.68035 SIAM J. Comput. 52, No. 5, 1193-1229 (2023). MSC: 68Q25 03B70 03C13 05C60 90C22 90C25 PDFBibTeX XMLCite \textit{A. Atserias} and \textit{J. Fijalkow}, SIAM J. Comput. 52, No. 5, 1193--1229 (2023; Zbl 1523.68035) Full Text: DOI
Atserias, Albert; Mančinska, Laura; Roberson, David E.; Šámal, Robert; Severini, Simone; Varvitsiotis, Antonios Quantum and non-signalling graph isomorphisms. (English) Zbl 1414.05197 J. Comb. Theory, Ser. B 136, 289-328 (2019). MSC: 05C60 05C57 91A43 PDFBibTeX XMLCite \textit{A. Atserias} et al., J. Comb. Theory, Ser. B 136, 289--328 (2019; Zbl 1414.05197) Full Text: DOI arXiv Link
Atserias, Albert; Ochremiak, Joanna Proof complexity meets algebra. (English) Zbl 1407.03070 ACM Trans. Comput. Log. 20, No. 1, Article No. 1, 46 p. (2019). MSC: 03F20 68T20 PDFBibTeX XMLCite \textit{A. Atserias} and \textit{J. Ochremiak}, ACM Trans. Comput. Log. 20, No. 1, Article No. 1, 46 p. (2019; Zbl 1407.03070) Full Text: DOI arXiv Link