{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T21:43:12Z","timestamp":1771623792398,"version":"3.50.1"},"reference-count":20,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","funder":[{"name":"MICCIN","award":["TIN2016-76573-C2-1P"],"award-info":[{"award-number":["TIN2016-76573-C2-1P"]}]},{"name":"AEI","award":["PID2019-109137GB-C22"],"award-info":[{"award-number":["PID2019-109137GB-C22"]}]},{"name":"AUTAR"},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-18-CE40-0031"],"award-info":[{"award-number":["ANR-18-CE40-0031"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["948057"],"award-info":[{"award-number":["948057"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["ERC-2014-CoG 648276"],"award-info":[{"award-number":["ERC-2014-CoG 648276"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2023,10,31]]},"DOI":"10.1137\/20m1338435","type":"journal-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T15:38:52Z","timestamp":1697470732000},"page":"1193-1229","source":"Crossref","is-referenced-by-count":2,"title":["Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem"],"prefix":"10.1137","volume":"52","author":[{"given":"Albert","family":"Atserias","sequence":"first","affiliation":[{"name":"Department of Computer Science, Universitat Polit\u00e8cnica de Catalunya, 08034 Barcelona, Catalonia, Spain."}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0945-0801","authenticated-orcid":true,"given":"Joanna","family":"Fijalkow","sequence":"additional","affiliation":[{"name":"University of Bordeaux, CNRS, Bordeaux, INP, LaBRI, UMR 5800, F-33400 Talence, France, and Institute of Informatics, University of Warsaw, 02-097 Warsaw, Poland."}]}],"member":"351","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/070697926"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2822890"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/120867834"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1190150152"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2019.04.005"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28788-4_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2355-7"},{"key":"ref14","first-page":"4","volume":"15","author":"Gr\u00e4del E.","year":"2019","journal-title":"Log. Methods Comput. Sci."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00055-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78240-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11590-015-0868-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.disopt.2014.01.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2021.v017a009"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21676-7"},{"key":"ref28","volume-title":"Real and Complex Analysis","author":"Rudin W.","year":"1987","edition":"3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1137\/0403036"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2007.04.023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF02240204"},{"key":"ref33","author":"Wang P.","year":"2018","journal-title":"Doctoral thesis"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T18:53:57Z","timestamp":1698778437000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M1338435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,16]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1137\/20M1338435"],"URL":"https:\/\/doi.org\/10.1137\/20m1338435","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,16]]}}}