{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T15:55:32Z","timestamp":1748361332242,"version":"3.37.3"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470683","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-13","source":"Crossref","is-referenced-by-count":4,"title":["Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[]},{"given":"Bertalan","family":"Bodor","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Monadic stability and growth rates of ?-categorical structures","year":"2020","author":"braunfeld","key":"ref39"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"501","DOI":"10.2307\/2275284","article-title":"?0-categorical tree-decomposable structures","volume":"57","author":"lachlan","year":"1992","journal-title":"J Symb Log"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934515"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-05975-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/558\/11058"},{"key":"ref30","article-title":"Canonical functions: a proof via topological dynamics","author":"bodirsky","year":"2021","journal-title":"Contributions Discrete Math"},{"journal-title":"Classification of ?-categorical monadically stable structures","year":"2020","author":"bodor","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1515\/jgth-2018-0220"},{"key":"ref35","volume":"5","author":"post","year":"1941","journal-title":"The Two-Valued Iterative Systems of Mathematical Logic"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp025"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209156"},{"article-title":"The orbit algebra of a permutation group with polynomial profile is cohenmacaulay","year":"2018","author":"falque","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107415133"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316106853.002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1613\/jair.872"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60343-3_40"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1613\/jair.379","article-title":"A complete classification of tractability in RCC-5","volume":"6","author":"jonsson","year":"1997","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5260"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1017\/jsl.2021.6","article-title":"Cores over Ramsey structures","author":"mottet","year":"2021","journal-title":"Journal of Symbolic Logic"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00039-005-0503-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005128"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9083-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2019.23"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.38"},{"key":"ref6","first-page":"1663","article-title":"A complexity dichotomy for poset constraint satisfaction","volume":"5","author":"kompatscher","year":"2018","journal-title":"IfCoLog J of Logics and their Applications"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7804020"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1667053.1667058","article-title":"The complexity of temporal constraint satisfaction problems","volume":"57","author":"bodirsky","year":"2009","journal-title":"Journal of the ACM"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/16M1082974"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3105907"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.37"},{"key":"ref9","article-title":"A dichotomy for first-order reducts of unary structures","volume":"14","author":"bodirsky","year":"2018","journal-title":"Logical Methods in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"ref20","article-title":"Canonical polymorphisms of Ramsey structures and the unique interpolation property","author":"bodirsky","year":"2021","journal-title":"Technical Report"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:2)2007"},{"journal-title":"A Shorter Model Theory","year":"1997","author":"hodges","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/9781107337534"},{"key":"ref23","first-page":"1","article-title":"On the scope of the universal-algebraic approach to constraint satisfaction","volume":"8","author":"bodirsky","year":"2012","journal-title":"Logical Methods in Comput Sci"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-017-1621-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700376676"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470683.pdf?arnumber=9470683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:46:20Z","timestamp":1652197580000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470683\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470683","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}