{"id":"https://openalex.org/W2102459557","doi":"https://doi.org/10.2168/lmcs-8(1:7)2012","title":"Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem","display_name":"Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem","publication_year":2012,"publication_date":"2012-02-20","ids":{"openalex":"https://openalex.org/W2102459557","doi":"https://doi.org/10.2168/lmcs-8(1:7)2012","mag":"2102459557"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-8(1:7)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(1:7)2012","pdf_url":"https://lmcs.episciences.org/673/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/673/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071004419","display_name":"Libor Barto","orcid":"https://orcid.org/0000-0002-8481-6458"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","CZ"],"is_corresponding":true,"raw_author_name":"Libor Barto","raw_affiliation_strings":["Department of Algebra, Charles University, Sokolovsk 83, 186 75 Prague 8, Czech Republic and Department of Mathematics and Statistics,","McMaster University, 1280 Main Street West, Hamilton, ON, L8S 4K1, Canada","Charles University in Prague"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, Charles University, Sokolovsk 83, 186 75 Prague 8, Czech Republic and Department of Mathematics and Statistics,","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"McMaster University, 1280 Main Street West, Hamilton, ON, L8S 4K1, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"Charles University in Prague","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045956843","display_name":"Marcin Kozik","orcid":"https://orcid.org/0000-0002-1839-4824"},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Kozik","raw_affiliation_strings":["Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiel-lonian University, ul. Prof. St. Lojasiewicza 6, 30-348 Krakw, Poland","[Jagiellonian University]"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiel-lonian University, ul. Prof. St. Lojasiewicza 6, 30-348 Krakw, Poland","institution_ids":["https://openalex.org/I126596746"]},{"raw_affiliation_string":"[Jagiellonian University]","institution_ids":["https://openalex.org/I126596746"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5071004419"],"corresponding_institution_ids":["https://openalex.org/I21250087","https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":10.7116,"has_fulltext":true,"cited_by_count":112,"citation_normalized_percentile":{"value":0.98846856,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"Volume 8, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unanimity","display_name":"Unanimity","score":0.8285084962844849},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7245998978614807},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6843839287757874},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6686517000198364},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6355339288711548},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.5987375378608704},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.45728203654289246},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.44322407245635986},{"id":"https://openalex.org/keywords/universal-algebra","display_name":"Universal algebra","score":0.4344540238380432},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4273717403411865},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4037647545337677},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37260621786117554}],"concepts":[{"id":"https://openalex.org/C2781423480","wikidata":"https://www.wikidata.org/wiki/Q1309409","display_name":"Unanimity","level":2,"score":0.8285084962844849},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7245998978614807},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6843839287757874},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6686517000198364},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6355339288711548},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5987375378608704},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.45728203654289246},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.44322407245635986},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.4344540238380432},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4273717403411865},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4037647545337677},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37260621786117554},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.2168/lmcs-8(1:7)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(1:7)2012","pdf_url":"https://lmcs.episciences.org/673/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1201.0557","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1201.0557","pdf_url":"https://arxiv.org/pdf/1201.0557","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:ruj.uj.edu.pl:item/436","is_oa":true,"landing_page_url":"http://ruj.uj.edu.pl/xmlui/handle/item/436","pdf_url":null,"source":{"id":"https://openalex.org/S4306401249","display_name":"Jagiellonian University Repository (Jagiellonian University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126596746","host_organization_name":"Jagiellonian University","host_organization_lineage":["https://openalex.org/I126596746"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.396.778","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.karlin.mff.cuni.cz/~barto/Articles/lmcs_arXive.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:a6ff539c355241aebbac0f31a69b51cb","is_oa":true,"landing_page_url":"https://doaj.org/article/a6ff539c355241aebbac0f31a69b51cb","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-8(1:7)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(1:7)2012","pdf_url":"https://lmcs.episciences.org/673/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5790148843","display_name":null,"funder_award_id":"201/09/P223","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G6099229284","display_name":null,"funder_award_id":"MSM 0021620839","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321042","display_name":"Fundacja na rzecz Nauki Polskiej","ror":"https://ror.org/048zd9m77"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102459557.pdf","grobid_xml":"https://content.openalex.org/works/W2102459557.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1524176804","https://openalex.org/W1811185933","https://openalex.org/W1975452925","https://openalex.org/W1976656137","https://openalex.org/W1983032729","https://openalex.org/W1984074081","https://openalex.org/W1988961015","https://openalex.org/W1997649256","https://openalex.org/W2011858932","https://openalex.org/W2018470381","https://openalex.org/W2021465457","https://openalex.org/W2026753685","https://openalex.org/W2032487621","https://openalex.org/W2035932556","https://openalex.org/W2042426573","https://openalex.org/W2049582355","https://openalex.org/W2077575555","https://openalex.org/W2082926001","https://openalex.org/W2116407296","https://openalex.org/W2124452950","https://openalex.org/W2128660819","https://openalex.org/W2134850460","https://openalex.org/W2149922426","https://openalex.org/W2150339067","https://openalex.org/W2166566648","https://openalex.org/W2171142764","https://openalex.org/W2172276559","https://openalex.org/W4210896998","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W2023722467","https://openalex.org/W2026753685","https://openalex.org/W2296333169","https://openalex.org/W3120817185","https://openalex.org/W2245690396","https://openalex.org/W1555655798","https://openalex.org/W2966761502","https://openalex.org/W3184046060","https://openalex.org/W2292152734","https://openalex.org/W1510911673"],"abstract_inverted_index":{"The":[0,48],"Algebraic":[1],"Dichotomy":[2],"Conjecture":[3],"states":[4],"that":[5],"the":[6,20,26,56,68,76,79],"Constraint":[7],"Satisfaction":[8],"Problem":[9],"over":[10],"a":[11,30],"fixed":[12],"template":[13,27],"is":[14,34,51],"solvable":[15],"in":[16,29,95],"polynomial":[17],"time":[18],"if":[19],"algebra":[21],"of":[22,43,70,81],"polymorphisms":[23],"associated":[24],"to":[25,66],"lies":[28],"Taylor":[31,46,84],"variety,":[32],"and":[33,55,72,78,93,98],"NP-complete":[35],"otherwise.":[36],"This":[37],"paper":[38],"provides":[39],"two":[40],"new":[41,62],"characterizations":[42],"finitely":[44],"generated":[45],"varieties.":[47],"first":[49],"characterization":[50,80],"using":[52,86],"absorbing":[53],"subalgebras":[54],"second":[57],"one":[58],"cyclic":[59],"terms.":[60],"These":[61],"conditions":[63],"allow":[64],"us":[65],"reprove":[67],"conjecture":[69],"Bang-Jensen":[71],"Hell":[73],"(proved":[74,90],"by":[75,91],"authors)":[77],"locally":[82],"finite":[83],"varieties":[85],"weak":[87],"near-unanimity":[88],"terms":[89],"McKenzie":[92],"Mar\\'oti)":[94],"an":[96],"elementary":[97],"self-contained":[99],"way.":[100]},"counts_by_year":[{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}