{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:23:31Z","timestamp":1760081011330,"version":"3.40.5"},"reference-count":65,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["467967530"],"award-info":[{"award-number":["467967530"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101071674"],"award-info":[{"award-number":["101071674"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001862","name":"Svenska Forskningsr\u00e5det Formas","doi-asserted-by":"publisher","award":["2017-04112","2021-04371"],"award-info":[{"award-number":["2017-04112","2021-04371"]}],"id":[{"id":"10.13039\/501100001862","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/X03190X\/1"],"award-info":[{"award-number":["EP\/X03190X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2024,10,31]]},"DOI":"10.1137\/22m1534304","type":"journal-article","created":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T08:20:26Z","timestamp":1726129226000},"page":"1293-1353","source":"Crossref","is-referenced-by-count":2,"title":["Complexity Classification Transfer for CSPs via Algebraic Products"],"prefix":"10.1137","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8228-3611","authenticated-orcid":true,"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[{"name":"Institute of Algebra, TU Dresden, Dresden, Germany."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Jonsson","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barnaby","family":"Martin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Durham University, Durham, UK."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Mottet","sequence":"additional","affiliation":[{"name":"Research Group for Theoretical Computer Science, Hamburg University of Technology, Hamburg, Germany."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8111-0671","authenticated-orcid":true,"given":"\u017daneta","family":"Semani\u0161inov\u00e1","sequence":"additional","affiliation":[{"name":"Institute of Algebra, TU Dresden, Dresden, Germany."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","published-online":{"date-parts":[[2024,9,12]]},"reference":[{"key":"ref1","first-page":"623","volume":"131","author":"Adeleke S. A.","year":"1998","journal-title":"Mem. Amer. Math. Soc."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90037-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65982"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020079114666"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.885"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175732"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061319500107"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-017-1621-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2021.104809"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2661643"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/9781107337534"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1286198146"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196714500507"},{"key":"ref23","first-page":"21","volume":"16","author":"Bodirsky M.","year":"2020","journal-title":"Log. Methods Comput. Sci."},{"key":"ref24","first-page":"11","volume":"18","author":"Bodirsky M.","year":"2022","journal-title":"Log. Methods Comput. Sci."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5260"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3105907"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667058"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1740582.1740583"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/19M128466X"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/16M1082974"},{"key":"ref35","first-page":"13","volume":"14","author":"Bodirsky M.","year":"2018","journal-title":"Log. Methods Comput. Sci."},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi083"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3566051"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2764899"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-05975-8"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.55016\/ojs\/cdm.v16i2.71724"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2019.23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7804020"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/BF01214702"},{"volume-title":"Symbolic Projection for Image Information Retrieval and Spatial Reasoning","year":"1996","author":"Chang S.-K.","key":"ref48"},{"volume-title":"Lecture Notes on Stability Theory","year":"2019","author":"Chernikov A.","key":"ref49"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90087-2"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-004-5899-8"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.08.009"},{"key":"ref55","first-page":"7","volume":"50","author":"Dylla F.","year":"2017","journal-title":"ACM Comput. Surv."},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1080\/02693799608902079"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/174147.169675"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.3.309"},{"volume-title":"A Shorter Model Theory","year":"1997","author":"Hodges W.","key":"ref64"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00230-2"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00031-9"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/s00039-005-0503-1"},{"key":"ref69","first-page":"1663","volume":"5","author":"Kompatscher M.","year":"2018","journal-title":"J. Appl. Logics"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00177-8"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876639"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.2307\/2275284"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/5383.5384"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009721626239"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1997.9999"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1137\/050634840"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-008-2122-9"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1137\/S009753970037727X"},{"volume-title":"A Maximally Tractable Fragment of Temporal Reasoning Plus Successor","year":"2014","author":"Mottet A.","key":"ref80"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2021.6"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200848"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1137\/0208008"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2012.01.002"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90015-5"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107415133"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-013-1010-1"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1145\/3402029"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T19:37:04Z","timestamp":1727206624000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/22M1534304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,12]]},"references-count":65,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10,31]]}},"alternative-id":["10.1137\/22M1534304"],"URL":"https:\/\/doi.org\/10.1137\/22m1534304","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2024,9,12]]}}}