{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:41Z","timestamp":1725544001293},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341666"},{"type":"electronic","value":"9783540341680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11753728_14","type":"book-chapter","created":{"date-parts":[[2006,4,27]],"date-time":"2006-04-27T20:17:13Z","timestamp":1146169033000},"page":"114-126","source":"Crossref","is-referenced-by-count":7,"title":["The Complexity of Equality Constraint Languages"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"K\u00e1ra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Bodirsky, M.: Constraint satisfaction with infinite domains. PhD thesis, Humboldt-Universitat zu Berlin (2004)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-45220-1_5","volume-title":"Computer Science Logic","author":"M. Bodirsky","year":"2003","unstructured":"Bodirsky, M., Ne\u0161et\u0159il, J.: Constraint satisfaction with countable homogeneous templates. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 44\u201357. Springer, Heidelberg (2003)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01070906","volume":"5","author":"V.G. Bodnar\u010duk","year":"1969","unstructured":"Bodnar\u010duk, V.G., Kalu\u017enin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for post algebras, part I and II. Cybernetics\u00a05, 243\u2013539 (1969)","journal-title":"Cybernetics"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bulatov, A.: Tractable conservative constraint satisfaction problems. In: Proceedings of LICS 2003, pp. 321\u2013330 (2003)","DOI":"10.1109\/LICS.2003.1210072"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bulatov, A., Krokhin, A., Jeavons, P.: The complexity of maximal constraint languages. In: Proceedings of STOC 2001, pp. 667\u2013674 (2001)","DOI":"10.1145\/380752.380868"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1137\/S0097539700376676","volume":"34","author":"A. Bulatov","year":"2005","unstructured":"Bulatov, A., Krokhin, A., Jeavons, P.G.: Classifying the complexity of constraints using finite algebras. SIAM Journal on Computing\u00a034, 720\u2013742 (2005)","journal-title":"SIAM Journal on Computing"},{"key":"14_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511549809","volume-title":"Oligomorphic Permutation Groups","author":"P.J. Cameron","year":"1990","unstructured":"Cameron, P.J.: Oligomorphic Permutation Groups. Cambridge University Press, Cambridge (1990)"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0304-3975(97)86737-0","volume":"173","author":"R. Dechter","year":"1997","unstructured":"Dechter, R., van Beek, P.: Local and global relational consistency. TCS\u00a0173(1), 283\u2013308 (1997)","journal-title":"TCS"},{"key":"14_CR9","volume-title":"A Guide to NP-completeness","author":"Garey","year":"1978","unstructured":"Garey, Johnson: A Guide to NP-completeness. CSLI Press, Stanford (1978)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.2140\/pjm.1968.27.95","volume":"27","author":"D. Geiger","year":"1968","unstructured":"Geiger, D.: Closed systems of functions and predicates. Pacific Journal of Mathematics\u00a027, 95\u2013100 (1968)","journal-title":"Pacific Journal of Mathematics"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/PL00012450","volume":"48","author":"L. Heindorf","year":"2002","unstructured":"Heindorf, L.: The maximal clones on countable sets that include all permutations. Algebra univers.\u00a048, 209\u2013222 (2002)","journal-title":"Algebra univers."},{"key":"14_CR12","volume-title":"A shorter model theory","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: A shorter model theory. Cambridge University Press, Cambridge (1997)"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/263867.263489","volume":"44","author":"P. Jeavons","year":"1997","unstructured":"Jeavons, P., Cohen, D., Gyssens, M.: Closure properties of constraints. Journal of the ACM\u00a044(4), 527\u2013548 (1997)","journal-title":"Journal of the ACM"},{"key":"14_CR14","unstructured":"Krasner, M.: G\u00e9n\u00e9ralisation et analogues de la th\u00e9orie de Galois. In: Congr\u00e9s de la Victoire de l\u2019Ass. France avancement des sciences, pp. 54\u201358 (1945)"},{"key":"14_CR15","unstructured":"Pinsker, M.: The number of unary clones containing the permutations on an infinite set. Acta Sci. Math, Szeged (to appear, 2005)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"P\u00f6schel, R., Kalu\u017enin, L.A.: Funktionen- und Relationenalgebren. Deutscher Verlag der Wissenschaften (1979)","DOI":"10.1007\/978-3-0348-5547-1"},{"key":"14_CR17","unstructured":"Szendrei, A.: Clones in universal Algebra. Seminaire de mathematiques superieures. Les Presses de L\u2019Universite de Montreal (1986)"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11753728_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:29Z","timestamp":1619507009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11753728_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341666","9783540341680"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11753728_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}