{"id":"https://openalex.org/W4225321728","doi":"https://doi.org/10.1007/s11704-022-1741-1","title":"Satisfiability threshold of the random regular (s, c, k)-SAT problem","display_name":"Satisfiability threshold of the random regular (s, c, k)-SAT problem","publication_year":2022,"publication_date":"2022-05-03","ids":{"openalex":"https://openalex.org/W4225321728","doi":"https://doi.org/10.1007/s11704-022-1741-1"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-022-1741-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-022-1741-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","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/A5049232875","display_name":"Xiaoling Mo","orcid":"https://orcid.org/0000-0003-0070-1061"},"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":"Xiaoling Mo","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":false,"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/A5100755159","display_name":"Kai Yan","orcid":"https://orcid.org/0000-0001-8142-8380"},"institutions":[{"id":"https://openalex.org/I917184967","display_name":"Bank of China","ror":"https://ror.org/02mt4s337","country_code":"CN","type":"other","lineage":["https://openalex.org/I917184967"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Yan","raw_affiliation_strings":["Agricultural Development Bank of China, Beijing, 100045, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Agricultural Development Bank of China, Beijing, 100045, China","institution_ids":["https://openalex.org/I917184967"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029385936","display_name":"Zaijun Zhang","orcid":"https://orcid.org/0000-0002-0690-1673"},"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/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zaijun Zhang","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang, 550025, China","Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun, 558000, 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":"Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun, 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.1426,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.46224013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"16","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"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.9994999766349792,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9972000122070312,"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/T12176","display_name":"Optimization and Packing Problems","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8064420819282532},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7673704624176025},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7341198921203613},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33677953481674194}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8064420819282532},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7673704624176025},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7341198921203613},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33677953481674194}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-022-1741-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-022-1741-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","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":4,"referenced_works":["https://openalex.org/W186403072","https://openalex.org/W3026895491","https://openalex.org/W3041765807","https://openalex.org/W4255937913"],"related_works":["https://openalex.org/W2404668260","https://openalex.org/W1998688823","https://openalex.org/W2117005051","https://openalex.org/W1568496597","https://openalex.org/W2396641696","https://openalex.org/W4250124507","https://openalex.org/W2949268935","https://openalex.org/W2166795801","https://openalex.org/W2139917278","https://openalex.org/W1567492448"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}