{"id":"https://openalex.org/W3014097961","doi":"https://doi.org/10.1007/978-981-15-3415-7_7","title":"Probe Machine Based Computing Model for Solving Satisfiability Problem","display_name":"Probe Machine Based Computing Model for Solving Satisfiability Problem","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3014097961","doi":"https://doi.org/10.1007/978-981-15-3415-7_7","mag":"3014097961"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-15-3415-7_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-15-3415-7_7","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"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/A5100709932","display_name":"Jianzhong Cui","orcid":"https://orcid.org/0000-0001-7378-9151"},"institutions":[{"id":"https://openalex.org/I184681353","display_name":"Anhui University of Science and Technology","ror":"https://ror.org/00q9atg80","country_code":"CN","type":"education","lineage":["https://openalex.org/I184681353"]},{"id":"https://openalex.org/I4210090323","display_name":"Huainan Union University","ror":"https://ror.org/00ewz9128","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210090323"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianzhong Cui","raw_affiliation_strings":["Department of Computer, Huainan Union University, Huainan, 232038, Anhui, China","School of Electronic and Information Engineering, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","Department of Computer, Huainan Union University, Huainan, China","School of Electronic and Information Engineering, Anhui University of Science and Technology, Huainan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer, Huainan Union University, Huainan, 232038, Anhui, China","institution_ids":["https://openalex.org/I4210090323"]},{"raw_affiliation_string":"School of Electronic and Information Engineering, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","institution_ids":["https://openalex.org/I184681353"]},{"raw_affiliation_string":"Department of Computer, Huainan Union University, Huainan, China","institution_ids":["https://openalex.org/I4210090323"]},{"raw_affiliation_string":"School of Electronic and Information Engineering, Anhui University of Science and Technology, Huainan, China","institution_ids":["https://openalex.org/I184681353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102872507","display_name":"Zhixiang Yin","orcid":"https://orcid.org/0000-0001-8064-0179"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhixiang Yin","raw_affiliation_strings":["School of Mathematics, Physics and Statistics, Shanghai University of Engineering Science, Shanghai, 201620, People\u2019s Republic of China","School of Mathematics, Physics and Statistics, Shanghai University of Engineering Science, Shanghai, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Physics and Statistics, Shanghai University of Engineering Science, Shanghai, 201620, People\u2019s Republic of China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"School of Mathematics, Physics and Statistics, Shanghai University of Engineering Science, Shanghai, People\u2019s Republic of China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063803148","display_name":"Jing Yang","orcid":"https://orcid.org/0000-0003-0065-9027"},"institutions":[{"id":"https://openalex.org/I184681353","display_name":"Anhui University of Science and Technology","ror":"https://ror.org/00q9atg80","country_code":"CN","type":"education","lineage":["https://openalex.org/I184681353"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Yang","raw_affiliation_strings":["School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","institution_ids":["https://openalex.org/I184681353"]},{"raw_affiliation_string":"School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, China","institution_ids":["https://openalex.org/I184681353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029282640","display_name":"Xianya Geng","orcid":null},"institutions":[{"id":"https://openalex.org/I184681353","display_name":"Anhui University of Science and Technology","ror":"https://ror.org/00q9atg80","country_code":"CN","type":"education","lineage":["https://openalex.org/I184681353"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianya Geng","raw_affiliation_strings":["School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, 232001, Anhui, China","institution_ids":["https://openalex.org/I184681353"]},{"raw_affiliation_string":"School of Mathematics and Big Data, Anhui University of Science and Technology, Huainan, China","institution_ids":["https://openalex.org/I184681353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100381999","display_name":"Qiang Zhang","orcid":"https://orcid.org/0000-0003-3776-9799"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]},{"id":"https://openalex.org/I4210092944","display_name":"Dalian University","ror":"https://ror.org/00g2ypp58","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210092944"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiang Zhang","raw_affiliation_strings":["School of Computer Science, Dalian University of Technology, Dalian, 116024, Liaoning, China","School of Computer Science, Dalian University of Technology, Dalian, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Dalian University of Technology, Dalian, 116024, Liaoning, China","institution_ids":["https://openalex.org/I27357992","https://openalex.org/I4210092944"]},{"raw_affiliation_string":"School of Computer Science, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5102872507"],"corresponding_institution_ids":["https://openalex.org/I141962983"],"apc_list":null,"apc_paid":null,"fwci":0.7345,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67087743,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9988999962806702,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9979000091552734,"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.7315363883972168},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6523692011833191},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6357678174972534},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.6043938994407654},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5377199053764343},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.4958709180355072},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.41222119331359863},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4076788127422333},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3580676019191742},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.29471325874328613},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2854268550872803},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.07760676741600037}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7315363883972168},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6523692011833191},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6357678174972534},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6043938994407654},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5377199053764343},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.4958709180355072},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.41222119331359863},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4076788127422333},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3580676019191742},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.29471325874328613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2854268550872803},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.07760676741600037},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-15-3415-7_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-15-3415-7_7","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W50830506","https://openalex.org/W119554023","https://openalex.org/W1549166962","https://openalex.org/W1568002152","https://openalex.org/W1597578789","https://openalex.org/W1650993530","https://openalex.org/W1949943063","https://openalex.org/W1977312644","https://openalex.org/W2028695183","https://openalex.org/W2029256851","https://openalex.org/W2031214412","https://openalex.org/W2044560939","https://openalex.org/W2061499658","https://openalex.org/W2081692349","https://openalex.org/W2129874841","https://openalex.org/W2140428031","https://openalex.org/W2159635590","https://openalex.org/W2227399030","https://openalex.org/W2273752530","https://openalex.org/W2313379588","https://openalex.org/W2345619004","https://openalex.org/W2521139169","https://openalex.org/W2542720522","https://openalex.org/W2560576235","https://openalex.org/W2566535251","https://openalex.org/W2578871038","https://openalex.org/W2586122929","https://openalex.org/W2588373402","https://openalex.org/W2594697787","https://openalex.org/W2964211258","https://openalex.org/W3138459719","https://openalex.org/W4233756358"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W1913543287","https://openalex.org/W2268872489","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2014111643"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}