{"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":1772371078258,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005128","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":13,"title":["The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems"],"prefix":"10.1109","author":[{"given":"Libor","family":"Barto","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kompatscher","sequence":"additional","affiliation":[]},{"given":"Miroslav","family":"Olsak","sequence":"additional","affiliation":[]},{"given":"Trung Van","family":"Pham","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Pinsker","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511549809"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9083-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667058"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1993636.1993724"},{"key":"ref13","first-page":"47:1","article-title":"A Complexity Dichotomy for Poset Constraint Satisfaction","volume":"66","author":"kompatscher","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/6937"},{"key":"ref15","article-title":"A counterexample to the reconstruction of ?-categorical structures from their endomorphism monoids","author":"bodirsky","year":"0","journal-title":"Israel Journal of Mathematics"},{"key":"ref16","author":"hodges","year":"1997","journal-title":"A Shorter Model Theory"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201400067"},{"key":"ref18","volume":"78","author":"burris","year":"1981","journal-title":"A Course in Universal Algebra Ser Graduate Texts in Mathematics"},{"key":"ref19","author":"bergman","year":"2011","journal-title":"Universal Algebra Fundamentals and Selected Topics ser Pure and Applied Mathematics"},{"key":"ref28","author":"fra\u00efss\u00e9","year":"1986","journal-title":"Theory of Relations"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:2)2007"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.24033\/asens.1027"},{"key":"ref3","article-title":"Projective clone homomorphisms","author":"bodirsky","year":"0","journal-title":"Journal of Symbolic Logic"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934544"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1755","DOI":"10.1016\/j.apal.2014.07.004","article-title":"Fraïssé sequences: category-theoretic approach to universal homogeneous structures","volume":"165","author":"kubi?","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-05975-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/558\/11058"},{"key":"ref7","article-title":"The wonderland of reflections","author":"barto","year":"0","journal-title":"Israel Journal of Mathematics"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_16"},{"key":"ref9","author":"bodirsky","year":"2016","journal-title":"Canonical functions a new proof via topological dynamics"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"ref20","author":"gehrke","year":"2016","journal-title":"Uniform Birkhoff"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2274912"},{"key":"ref21","author":"schneider","year":"2015","journal-title":"A uniform Birkhoff theorem"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2011.01.024"},{"key":"ref23","author":"bodirsky","year":"2012","journal-title":"Complexity classification in infinite-domain constraint satisfaction"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-011-0110-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00039-005-0503-1"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005128.pdf?arnumber=8005128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T05:11:03Z","timestamp":1586495463000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8005128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005128","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}