{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:15:30Z","timestamp":1760080530346,"version":"3.40.5"},"reference-count":23,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["622397"],"award-info":[{"award-number":["622397"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["Graduiertenkolleg 1763 (QuantLA)"],"award-info":[{"award-number":["Graduiertenkolleg 1763 (QuantLA)"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["681988"],"award-info":[{"award-number":["681988"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["771005"],"award-info":[{"award-number":["771005"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1137\/19m128466x","type":"journal-article","created":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T14:32:51Z","timestamp":1629469971000},"page":"1359-1409","source":"Crossref","is-referenced-by-count":8,"title":["A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP"],"prefix":"10.1137","volume":"50","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[]},{"given":"Florent","family":"Madelaine","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3517-1745","authenticated-orcid":true,"given":"Antoine","family":"Mottet","sequence":"additional","affiliation":[]}],"member":"351","published-online":{"date-parts":[[2021,8,20]]},"reference":[{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:7)2012"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-017-1621-9"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1137\/18M1216213"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:2)2007"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2012.05.012"},{"key":"atypb10","first-page":"10","volume":"16","author":"Bodirsky M.","year":"2020","journal-title":"Log. Methods Comput. Sci."},{"key":"atypb11","first-page":"8","author":"Bodirsky M.","year":"2012","journal-title":"Log. Methods Comput. Sci."},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5260"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/8179"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi083"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2019.23"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.028"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700376676"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1006\/aama.1998.0641"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"atypb28","first-page":"311","author":"Feder T.","year":"2003","journal-title":"Proceedings of LICS"},{"key":"atypb31","first-page":"241","author":"Hubi\u010dka J.","year":"2015","journal-title":"Berlin"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1007\/s00039-005-0503-1"},{"key":"atypb34","doi-asserted-by":"publisher","DOI":"10.1007\/s00493-013-2405-4"},{"key":"atypb35","first-page":"3","author":"Larose B.","year":"2007","journal-title":"Log. Methods Comput. Sci."},{"key":"atypb39","first-page":"5","author":"Madelaine F.","year":"2009","journal-title":"Log. Methods Comput. Sci."},{"key":"atypb40","doi-asserted-by":"publisher","DOI":"10.1137\/050634840"},{"key":"atypb41","first-page":"345","author":"Madelaine F. R.","year":"2010","journal-title":"Proceedings of CP"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/19M128466X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T23:44:16Z","timestamp":1630453456000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/19M128466X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,1]]}},"alternative-id":["10.1137\/19M128466X"],"URL":"https:\/\/doi.org\/10.1137\/19m128466x","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2021,1]]}}}