{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:17:58Z","timestamp":1772371078744,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785883","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Mottet","sequence":"additional","affiliation":[]},{"given":"Miroslav","family":"Olsak","sequence":"additional","affiliation":[]},{"given":"Jakub","family":"Oprsal","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Pinsker","sequence":"additional","affiliation":[]},{"given":"Ross","family":"Willard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511549809"},{"key":"ref31","first-page":"229","article-title":"Homomorphism and embedding universal structures for restricted classes","volume":"27","author":"hubi?ka","year":"2016","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1006\/aama.1998.0641"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2764899"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3105907"},{"key":"ref12","first-page":"47: 1","article-title":"A Complexity Dichotomy for Poset Constraint Satisfaction","volume":"66","author":"kompatscher","year":"2017","journal-title":"34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) ser Leibniz International Proceedings in Informatics (LIPIcs)"},{"key":"ref13","first-page":"119:1","article-title":"Constraint satisfaction problems for reducts of homogeneous graphs","author":"bodirsky","year":"2016","journal-title":"43rd International Colloquium on Automata Languages and Programming ICALP 2016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2019.23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-017-1621-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005128"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061319500107"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934544"},{"key":"ref19","author":"barto","year":"2018","journal-title":"Topology is irrelevant (in the infinite domain dichotomy conjecture for constraint satisfaction problems)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:2)2007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700376676"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2017.06.016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.38"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_16"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1472"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-010-0082-3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209156"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5260"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2017.37"},{"key":"ref9","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":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01229958"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2556646"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1112\/blms.12097"},{"key":"ref24","first-page":"1","article-title":"Polymorphisms, and how to use them","volume":"7","author":"barto","year":"2017","journal-title":"On the Complexity of Constraint Satisfaction Problems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10850"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3313276.3316300"},{"key":"ref25","author":"hodges","year":"1997","journal-title":"A Shorter Model Theory"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2019,6,24]]},"end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785883.pdf?arnumber=8785883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:37Z","timestamp":1658262037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785883","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}