{"id":"https://openalex.org/W2066459850","doi":"https://doi.org/10.1007/s11023-012-9270-6","title":"Variable-Centered Consistency in Model RB","display_name":"Variable-Centered Consistency in Model RB","publication_year":2012,"publication_date":"2012-02-14","ids":{"openalex":"https://openalex.org/W2066459850","doi":"https://doi.org/10.1007/s11023-012-9270-6","mag":"2066459850"},"language":"en","primary_location":{"id":"doi:10.1007/s11023-012-9270-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11023-012-9270-6","pdf_url":null,"source":{"id":"https://openalex.org/S160466889","display_name":"Minds and Machines","issn_l":"0924-6495","issn":["0924-6495","1572-8641"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Minds and Machines","raw_type":"journal-article"},"type":"article","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/A5100695228","display_name":"Liang Li","orcid":"https://orcid.org/0000-0003-3890-7276"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Liang Li","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, 100871, China","Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, China 1008 ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, China 1008 ...#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100600161","display_name":"Tian Liu","orcid":"https://orcid.org/0000-0002-4362-7554"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tian Liu","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, 100871, China","Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, China 1008 ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, China 1008 ...#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107234003","display_name":"Ke Xu","orcid":"https://orcid.org/0000-0001-5447-8008"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ke Xu","raw_affiliation_strings":["National Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China","National Laboratory of Software Development Environment, Beihang University, Beijing, China 100191"],"affiliations":[{"raw_affiliation_string":"National Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"National Laboratory of Software Development Environment, Beihang University, Beijing, China 100191","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100695228"],"corresponding_institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.751,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.74461941,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"23","issue":"1","first_page":"95","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.7206438183784485},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7064900994300842},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.674180805683136},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6361778378486633},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.5973934531211853},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5845257043838501},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5445691347122192},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5178325772285461},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4614180028438568},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.44704535603523254},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4373292326927185},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.42377007007598877},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.42302176356315613},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4150194823741913},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29336023330688477},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2911086082458496},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.1339873969554901},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09125107526779175}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.7206438183784485},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7064900994300842},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.674180805683136},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6361778378486633},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.5973934531211853},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5845257043838501},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5445691347122192},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5178325772285461},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4614180028438568},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.44704535603523254},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4373292326927185},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.42377007007598877},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.42302176356315613},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4150194823741913},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29336023330688477},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2911086082458496},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.1339873969554901},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09125107526779175},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11023-012-9270-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11023-012-9270-6","pdf_url":null,"source":{"id":"https://openalex.org/S160466889","display_name":"Minds and Machines","issn_l":"0924-6495","issn":["0924-6495","1572-8641"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Minds and Machines","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W110304795","https://openalex.org/W627487437","https://openalex.org/W1620410031","https://openalex.org/W1649875919","https://openalex.org/W1990076232","https://openalex.org/W1990734013","https://openalex.org/W2002478775","https://openalex.org/W2031621466","https://openalex.org/W2038777942","https://openalex.org/W2043193943","https://openalex.org/W2046178780","https://openalex.org/W2085826829","https://openalex.org/W2109015525","https://openalex.org/W2119456262","https://openalex.org/W2135432705","https://openalex.org/W2139300273","https://openalex.org/W2337098149","https://openalex.org/W2426452510","https://openalex.org/W2478722229","https://openalex.org/W2899702797","https://openalex.org/W3144881883","https://openalex.org/W4239067298","https://openalex.org/W4298855273","https://openalex.org/W6604511998","https://openalex.org/W6636690859","https://openalex.org/W6661110980","https://openalex.org/W6703462244"],"related_works":["https://openalex.org/W4301894417","https://openalex.org/W3010022189","https://openalex.org/W2949499328","https://openalex.org/W2766331953","https://openalex.org/W2044887272","https://openalex.org/W1941941198","https://openalex.org/W2096498751","https://openalex.org/W1486846482","https://openalex.org/W1588928324","https://openalex.org/W2482268963"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}