{"id":"https://openalex.org/W3177666631","doi":"https://doi.org/10.3390/sym13071231","title":"The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem","display_name":"The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem","publication_year":2021,"publication_date":"2021-07-08","ids":{"openalex":"https://openalex.org/W3177666631","doi":"https://doi.org/10.3390/sym13071231","mag":"3177666631"},"language":"en","primary_location":{"id":"doi:10.3390/sym13071231","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym13071231","pdf_url":"https://www.mdpi.com/2073-8994/13/7/1231/pdf?version=1626159826","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/13/7/1231/pdf?version=1626159826","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078241259","display_name":"Guoxia Nie","orcid":null},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoxia Nie","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102397893","display_name":"Daoyun Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Daoyun Xu","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100333270","display_name":"Xiaofeng Wang","orcid":"https://orcid.org/0000-0003-4902-7549"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I21642278","display_name":"Ningxia University","ror":"https://ror.org/04j7b2v61","country_code":"CN","type":"education","lineage":["https://openalex.org/I21642278"]},{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofeng Wang","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","Department of Computer Science and Engineering, North Minzu University, Yinchuan 750021, China","Ningxia Key Laboratory of Intelligent Information and Big Data Processing, Yinchuan 750021, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, North Minzu University, Yinchuan 750021, China","institution_ids":["https://openalex.org/I3019309368"]},{"raw_affiliation_string":"Ningxia Key Laboratory of Intelligent Information and Big Data Processing, Yinchuan 750021, China","institution_ids":["https://openalex.org/I21642278"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101507173","display_name":"Xi Wang","orcid":"https://orcid.org/0000-0002-4186-4935"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I21642278","display_name":"Ningxia University","ror":"https://ror.org/04j7b2v61","country_code":"CN","type":"education","lineage":["https://openalex.org/I21642278"]},{"id":"https://openalex.org/I3019309368","display_name":"North Minzu University","ror":"https://ror.org/05xjevr11","country_code":"CN","type":"education","lineage":["https://openalex.org/I3019309368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi Wang","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","Department of Computer Science and Engineering, North Minzu University, Yinchuan 750021, China","Ningxia Key Laboratory of Intelligent Information and Big Data Processing, Yinchuan 750021, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, North Minzu University, Yinchuan 750021, China","institution_ids":["https://openalex.org/I3019309368"]},{"raw_affiliation_string":"Ningxia Key Laboratory of Intelligent Information and Big Data Processing, Yinchuan 750021, China","institution_ids":["https://openalex.org/I21642278"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102397893"],"corresponding_institution_ids":["https://openalex.org/I178232147"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":0.4806,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66449899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"13","issue":"7","first_page":"1231","last_page":"1231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9990000128746033,"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.9990000128746033,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9850000143051147,"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/satisfiability","display_name":"Satisfiability","score":0.7560776472091675},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7142338156700134},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6722520589828491},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6204040050506592},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.575967013835907},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49897146224975586},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.19881609082221985}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7560776472091675},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7142338156700134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6722520589828491},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6204040050506592},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.575967013835907},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49897146224975586},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.19881609082221985}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/sym13071231","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym13071231","pdf_url":"https://www.mdpi.com/2073-8994/13/7/1231/pdf?version=1626159826","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:5c84fca192f944b292e2e6b6b9e4050a","is_oa":true,"landing_page_url":"https://doaj.org/article/5c84fca192f944b292e2e6b6b9e4050a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry, Vol 13, Iss 7, p 1231 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2073-8994/13/7/1231/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/sym13071231","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/sym13071231","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym13071231","pdf_url":"https://www.mdpi.com/2073-8994/13/7/1231/pdf?version=1626159826","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3177666631.pdf"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1651026641","https://openalex.org/W1689369617","https://openalex.org/W1753783230","https://openalex.org/W1968198053","https://openalex.org/W1987851683","https://openalex.org/W2006474266","https://openalex.org/W2046178780","https://openalex.org/W2072579822","https://openalex.org/W2088419249","https://openalex.org/W2122528004","https://openalex.org/W2139955802","https://openalex.org/W2168290833","https://openalex.org/W2602510746","https://openalex.org/W2899702797","https://openalex.org/W2949171506","https://openalex.org/W2964048277","https://openalex.org/W2964298499","https://openalex.org/W3127454746","https://openalex.org/W6637218078","https://openalex.org/W6650880466","https://openalex.org/W6679443963","https://openalex.org/W6680598689"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W2394616262","https://openalex.org/W192406999","https://openalex.org/W2406837904","https://openalex.org/W3152212242","https://openalex.org/W2014111643","https://openalex.org/W2102364390","https://openalex.org/W1913543287","https://openalex.org/W2336941104","https://openalex.org/W3120153087"],"abstract_inverted_index":{"In":[0],"a":[1,47,54,82,87],"regular":[2,17,40],"(d,k)-CNF":[3,48],"formula,":[4],"each":[5,11,63],"clause":[6,64],"has":[7],"length":[8],"k":[9],"and":[10,24,109,116],"variable":[12],"appears":[13],"d":[14],"times.":[15],"A":[16],"structure":[18,31],"such":[19,91],"as":[20],"this":[21,29],"is":[22,32,44,53,81,94],"symmetric,":[23],"the":[25,34,70,100,106,111,114,121,127,136,147,158,163,169],"satisfiability":[26],"problem":[27,36,43],"of":[28,62,89,113,126],"symmetric":[30],"called":[33],"(d,k)-SAT":[35,101],"for":[37,46],"short.":[38],"The":[39],"exact":[41],"2-(d,k)-SAT":[42,128,137,148],"that":[45,92,162],"formula":[49,71],"F,":[50],"if":[51],"there":[52,80],"truth":[55],"assignment":[56,84],"T,":[57],"then":[58,79],"exactly":[59],"two":[60],"literals":[61],"in":[65],"F":[66,72,93],"are":[67,166],"true.":[68],"If":[69],"contains":[73],"only":[74,131],"positive":[75,132],"or":[76],"negative":[77],"literals,":[78],"satisfiable":[83],"T":[85],"with":[86,130,142,154,168],"size":[88],"2n/k":[90],"2-exactly":[95],"satisfiable.":[96],"This":[97],"paper":[98],"introduces":[99],"instance":[102,129,138,149],"generation":[103],"model,":[104],"constructs":[105],"solution":[107],"space,":[108],"employs":[110],"method":[112],"first":[115],"second":[117],"moments":[118],"to":[119],"present":[120],"phase":[122],"transition":[123],"point":[124],"d*":[125],"literals.":[133],"When":[134,145],"d<d*,":[135],"can":[139,150],"be":[140,152],"satisfied":[141,153],"high":[143,155],"probability.":[144,156],"d>d*,":[146],"not":[151],"Finally,":[157],"verification":[159],"results":[160,165],"demonstrate":[161],"theoretical":[164],"consistent":[167],"experimental":[170],"results.":[171]},"counts_by_year":[{"year":2024,"cited_by_count":3}],"updated_date":"2026-05-22T06:13:13.366637","created_date":"2021-07-19T00:00:00"}