{"id":"https://openalex.org/W3191828433","doi":"https://doi.org/10.1007/s11704-021-0318-8","title":"An algorithm for solving satisfiability problem based on the structural information of formulas","display_name":"An algorithm for solving satisfiability problem based on the structural information of formulas","publication_year":2021,"publication_date":"2021-08-03","ids":{"openalex":"https://openalex.org/W3191828433","doi":"https://doi.org/10.1007/s11704-021-0318-8","mag":"3191828433"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-021-0318-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-021-0318-8","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/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"]}]},{"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":"last","author":{"id":"https://openalex.org/A5043452497","display_name":"Jincheng Zhou","orcid":"https://orcid.org/0000-0002-1995-4002"},"institutions":[{"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":"Jincheng Zhou","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun, 558000, China","School of Computer and Information, Qiannan Normal University for Nationalities, Duyun, 558000, China"],"raw_orcid":null,"affiliations":[{"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"]},{"raw_affiliation_string":"School of Computer and Information, Qiannan Normal University for Nationalities, Duyun, 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.3044,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62336573,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"15","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9746000170707703,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9746000170707703,"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/T11106","display_name":"Data Management and Algorithms","score":0.9628000259399414,"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/T10050","display_name":"Multi-Criteria Decision Making","score":0.9516000151634216,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8082302808761597},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7774142026901245},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5330326557159424},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5074068903923035},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.42891162633895874},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37216198444366455},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3486631512641907},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15738141536712646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8082302808761597},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7774142026901245},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5330326557159424},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5074068903923035},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.42891162633895874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37216198444366455},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3486631512641907},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15738141536712646}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-021-0318-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-021-0318-8","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W121528679","https://openalex.org/W1506255457","https://openalex.org/W2036265926","https://openalex.org/W2097153130","https://openalex.org/W2338678442"],"related_works":["https://openalex.org/W2480084299","https://openalex.org/W2014111643","https://openalex.org/W3107131366","https://openalex.org/W2091617677","https://openalex.org/W2571882453","https://openalex.org/W2076399409","https://openalex.org/W4211028879","https://openalex.org/W3128448798","https://openalex.org/W2408080066","https://openalex.org/W1608133301"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}