{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,22]],"date-time":"2026-08-22T09:18:39Z","timestamp":1787390319982,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2934515","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"623-632","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction"],"prefix":"10.1145","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Algebra, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antoine","family":"Mottet","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Algebra, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.12.049"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2009.32"},{"issue":"07","key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Absorbing subalgebras, cyclic terms and the constraint satisfaction problem","volume":"8","author":"Barto Libor","year":"2012","unstructured":"Libor Barto and Marcin Kozik . Absorbing subalgebras, cyclic terms and the constraint satisfaction problem . Logical Methods in Computer Science , 8\/1 ( 07 ): 1 -- 26 , 2012 . Libor Barto and Marcin Kozik. Absorbing subalgebras, cyclic terms and the constraint satisfaction problem. Logical Methods in Computer Science, 8\/1(07):1--26, 2012.","journal-title":"Logical Methods in Computer Science"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/070708093"},{"key":"e_1_3_2_1_5_1","volume-title":"The wonderland of reflections. Preprint arXiv:1510.04521","author":"Barto Libor","year":"2015","unstructured":"Libor Barto , Jakub Opr\u0161al , and Michael Pinsker . The wonderland of reflections. Preprint arXiv:1510.04521 , 2015 . Libor Barto, Jakub Opr\u0161al, and Michael Pinsker. The wonderland of reflections. Preprint arXiv:1510.04521, 2015."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934544"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100013463"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:2)2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2012.05.012"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS)","author":"Bodirsky Manuel","year":"2016","unstructured":"Manuel Bodirsky , Peter Jonsson , and Trung Van Pham . The complexity of phylogeny constraint satisfaction . In Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS) , 2016 . Preprint arXiv:1503.07310. Manuel Bodirsky, Peter Jonsson, and Trung Van Pham. The complexity of phylogeny constraint satisfaction. In Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS), 2016. Preprint arXiv:1503.07310."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9083-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667058"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47672-7_21"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993636.1993724"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-05975-8"},{"key":"e_1_3_2_1_16_1","volume-title":"Projective clone homomorphisms. Preprint arXiv:1409.4601","author":"Bodirsky Manuel","year":"2014","unstructured":"Manuel Bodirsky , Michael Pinsker , and Andr\u00e1s Pongr\u00e1cz . Projective clone homomorphisms. Preprint arXiv:1409.4601 , 2014 . Manuel Bodirsky, Michael Pinsker, and Andr\u00e1s Pongr\u00e1cz. Projective clone homomorphisms. Preprint arXiv:1409.4601, 2014."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.11"},{"key":"e_1_3_2_1_18_1","series-title":"LIPICS","first-page":"122","volume-title":"Proceedings of Computer Science Logic","author":"Bodirsky Manuel","year":"2012","unstructured":"Manuel Bodirsky and Michal Wrona . Equivalence constraint satisfaction problems . In Proceedings of Computer Science Logic , volume 16 of LIPICS , pages 122 -- 136 . Dagstuhl Publishing , September 2012 . Manuel Bodirsky and Michal Wrona. Equivalence constraint satisfaction problems. In Proceedings of Computer Science Logic, volume 16 of LIPICS, pages 122--136. Dagstuhl Publishing, September 2012."},{"key":"e_1_3_2_1_19_1","volume-title":"Automata theory in nominal sets. Logical Methods in Computer Science, 10(3)","author":"Boja\u0144czyk Miko\u0142aj","year":"2014","unstructured":"Miko\u0142aj Boja\u0144czyk , Bartek Klin , and Slawomir Lasota . Automata theory in nominal sets. Logical Methods in Computer Science, 10(3) , 2014 . Miko\u0142aj Boja\u0144czyk, Bartek Klin, and Slawomir Lasota. Automata theory in nominal sets. Logical Methods in Computer Science, 10(3), 2014."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.24"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00075-4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1120582.1120584"},{"key":"e_1_3_2_1_23_1","volume-title":"Technische Universit\u00e4t Dresden","author":"Andrei","year":"2001","unstructured":"Andrei A. Bulatov and Peter Jeavons. Algebraic structures in combinatorial problems. Technical report MATH-AL-4-2001 , Technische Universit\u00e4t Dresden , 2001 . Andrei A. Bulatov and Peter Jeavons. Algebraic structures in combinatorial problems. Technical report MATH-AL-4-2001, Technische Universit\u00e4t Dresden, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700376676"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(90)90132-J"},{"key":"e_1_3_2_1_27_1","volume-title":"A shorter model theory","author":"Hodges Wilfrid","year":"1997","unstructured":"Wilfrid Hodges . A shorter model theory . Cambridge University Press , Cambridge , 1997 . Wilfrid Hodges. A shorter model theory. Cambridge University Press, Cambridge, 1997."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/263867.263489"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622767.1622774"},{"key":"e_1_3_2_1_30_1","volume-title":"Constraint satisfaction and semi-linear expansions of addition over the rationals and the reals. CoRR, abs\/1506.00479","author":"Jonsson Peter","year":"2015","unstructured":"Peter Jonsson and Johan Thapper . Constraint satisfaction and semi-linear expansions of addition over the rationals and the reals. CoRR, abs\/1506.00479 , 2015 . Peter Jonsson and Johan Thapper. Constraint satisfaction and semi-linear expansions of addition over the rationals and the reals. CoRR, abs\/1506.00479, 2015."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.51"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603135"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-015-0327-2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00493-013-2405-4"},{"key":"e_1_3_2_1_35_1","volume-title":"Existence theorems for weakly symmetric operations. Algebra Universalis, 59(3)","author":"Mar\u00f3ti M.","year":"2008","unstructured":"M. Mar\u00f3ti and R. McKenzie . Existence theorems for weakly symmetric operations. Algebra Universalis, 59(3) , 2008 . M. Mar\u00f3ti and R. McKenzie. Existence theorems for weakly symmetric operations. Algebra Universalis, 59(3), 2008."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-010-0082-3"}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"New York NY USA","acronym":"LICS '16","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934515","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2934515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:53Z","timestamp":1750222493000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":37,"alternative-id":["10.1145\/2933575.2934515","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2934515","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}