{"id":"https://openalex.org/W2106256691","doi":"https://doi.org/10.1109/ismvl.2012.23","title":"List-Homomorphism Problems on Graphs and Arc Consistency","display_name":"List-Homomorphism Problems on Graphs and Arc Consistency","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2106256691","doi":"https://doi.org/10.1109/ismvl.2012.23","mag":"2106256691"},"language":"en","primary_location":{"id":"doi:10.1109/ismvl.2012.23","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl.2012.23","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 42nd International Symposium on Multiple-Valued Logic","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016192081","display_name":"Beno\u00eet Larose","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"B. Larose","raw_affiliation_strings":["Department of Mathematics and Statistics, Concordia University, Montreal, Canada","Dept. of Math. & Stat., Concordia Univ., Montreal, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Dept. of Math. & Stat., Concordia Univ., Montreal, QC, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057123753","display_name":"Adrien Lema\u00eetre","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"A. Lemaitre","raw_affiliation_strings":["D\u00e9partement dinformatique et de recherche op\u00e9rationnelle, Universit\u00e9 de Montreal, Montreal, Canada","Dept. d'Inf. et de Rech. Operationnelle, Univ. de Montreal, Montreal, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement dinformatique et de recherche op\u00e9rationnelle, Universit\u00e9 de Montreal, Montreal, Canada","institution_ids":["https://openalex.org/I70931966"]},{"raw_affiliation_string":"Dept. d'Inf. et de Rech. Operationnelle, Univ. de Montreal, Montreal, QC, Canada","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8575,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69009426,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"5250","issue":null,"first_page":"343","last_page":"348"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9993000030517578,"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.9993000030517578,"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/T11797","display_name":"graph theory and CDMA systems","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9897000193595886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.8144634366035461},{"id":"https://openalex.org/keywords/bipartite-graph","display_name":"Bipartite graph","score":0.6153761148452759},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5304533839225769},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48944202065467834},{"id":"https://openalex.org/keywords/idempotence","display_name":"Idempotence","score":0.48587149381637573},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4742485582828522},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4522760510444641},{"id":"https://openalex.org/keywords/graph-homomorphism","display_name":"Graph homomorphism","score":0.45079001784324646},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.37618395686149597},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35044071078300476},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.22677847743034363},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.10101407766342163}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.8144634366035461},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.6153761148452759},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5304533839225769},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48944202065467834},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.48587149381637573},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4742485582828522},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4522760510444641},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.45079001784324646},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.37618395686149597},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35044071078300476},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.22677847743034363},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.10101407766342163}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ismvl.2012.23","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl.2012.23","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 42nd International Symposium on Multiple-Valued Logic","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321747","display_name":"Fonds Qu\u00e9b\u00e9cois de la Recherche sur la Nature et les Technologies","ror":"https://ror.org/00b9f9778"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W987035227","https://openalex.org/W1486752157","https://openalex.org/W1511747486","https://openalex.org/W1527197079","https://openalex.org/W1570219696","https://openalex.org/W1971826818","https://openalex.org/W1997649256","https://openalex.org/W2018547288","https://openalex.org/W2026753685","https://openalex.org/W2027524199","https://openalex.org/W2028556486","https://openalex.org/W2124452950","https://openalex.org/W2134850460","https://openalex.org/W2150339067","https://openalex.org/W2949738152","https://openalex.org/W4213009134","https://openalex.org/W4247305611","https://openalex.org/W4298227433","https://openalex.org/W6630577390","https://openalex.org/W6678185532"],"related_works":["https://openalex.org/W4375869854","https://openalex.org/W2782277909","https://openalex.org/W1548348759","https://openalex.org/W2126491855","https://openalex.org/W2951237623","https://openalex.org/W2148608710","https://openalex.org/W4321649496","https://openalex.org/W2053242449","https://openalex.org/W4298569003","https://openalex.org/W2068446330"],"abstract_inverted_index":{"We":[0,28],"characterise":[1],"the":[2],"graphs":[3],"(which":[4],"may":[5],"contain":[6],"loops)":[7],"whose":[8],"list-homomorphism":[9,37,56],"problem":[10,38,57],"is":[11,39],"solvable":[12],"by":[13,62],"arc":[14],"consistency,":[15],"or":[16],"equivalently,":[17],"that":[18,30],"admit":[19],"conservative":[20,49],"totally":[21],"symmetric":[22],"idempotent":[23],"operations":[24],"of":[25,65],"all":[26],"arities.":[27],"prove":[29],"for":[31],"every":[32],"bipartite":[33],"graph":[34],"G,":[35],"its":[36,55],"tractable":[40],"if":[41,44],"and":[42,67],"only":[43],"G":[45],"admits":[46],"a":[47,63],"monochromatic":[48],"semi":[50],"lattice":[51],"operation,":[52],"in":[53],"particular,":[54],"can":[58],"easily":[59],"be":[60],"solved":[61],"combination":[64],"two-colouring":[66],"arc-consistency.":[68]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}