{"id":"https://openalex.org/W2615919345","doi":"https://doi.org/10.1007/s11432-016-0258-4","title":"A randomized diversification strategy for solving satisfiability problem with long clauses","display_name":"A randomized diversification strategy for solving satisfiability problem with long clauses","publication_year":2017,"publication_date":"2017-05-11","ids":{"openalex":"https://openalex.org/W2615919345","doi":"https://doi.org/10.1007/s11432-016-0258-4","mag":"2615919345"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-016-0258-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-016-0258-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","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/A5050061433","display_name":"Jian Gao","orcid":"https://orcid.org/0000-0003-1962-0173"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]},{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Gao","raw_affiliation_strings":["College of Computer Science, Northeast Normal University, Changchun, 130024, China","College of Information Science and Technology, Dalian Maritime University, Dalian, 116026, China","Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, 130012, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science, Northeast Normal University, Changchun, 130024, China","institution_ids":["https://openalex.org/I184983240"]},{"raw_affiliation_string":"College of Information Science and Technology, Dalian Maritime University, Dalian, 116026, China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, 130012, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100760521","display_name":"Ruizhi Li","orcid":"https://orcid.org/0000-0003-2915-8242"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruizhi Li","raw_affiliation_strings":["College of Computer Science, Northeast Normal University, Changchun, 130024, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science, Northeast Normal University, Changchun, 130024, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023555343","display_name":"Minghao Yin","orcid":"https://orcid.org/0000-0002-6226-2394"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Minghao Yin","raw_affiliation_strings":["College of Computer Science, Northeast Normal University, Changchun, 130024, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science, Northeast Normal University, Changchun, 130024, China","institution_ids":["https://openalex.org/I184983240"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5023555343"],"corresponding_institution_ids":["https://openalex.org/I184983240"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.6311,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.71503399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"60","issue":"9","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.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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9944999814033508,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6774559020996094},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5420880913734436},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5376746654510498},{"id":"https://openalex.org/keywords/diversification","display_name":"Diversification (marketing strategy)","score":0.4662647843360901},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4608992338180542},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4463295042514801},{"id":"https://openalex.org/keywords/efficient-algorithm","display_name":"Efficient algorithm","score":0.41034454107284546},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3793824315071106},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36645448207855225},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.346835732460022}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6774559020996094},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5420880913734436},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5376746654510498},{"id":"https://openalex.org/C180916674","wikidata":"https://www.wikidata.org/wiki/Q3711935","display_name":"Diversification (marketing strategy)","level":2,"score":0.4662647843360901},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4608992338180542},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4463295042514801},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.41034454107284546},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3793824315071106},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36645448207855225},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.346835732460022},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11432-016-0258-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-016-0258-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","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":35,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W51584572","https://openalex.org/W68051822","https://openalex.org/W142468386","https://openalex.org/W167199924","https://openalex.org/W380892905","https://openalex.org/W1496083386","https://openalex.org/W1519526968","https://openalex.org/W1533981606","https://openalex.org/W1552464732","https://openalex.org/W1620410031","https://openalex.org/W1667614912","https://openalex.org/W1748968569","https://openalex.org/W1913543287","https://openalex.org/W1990734013","https://openalex.org/W2012451615","https://openalex.org/W2017127020","https://openalex.org/W2038777942","https://openalex.org/W2044560939","https://openalex.org/W2057361103","https://openalex.org/W2062897452","https://openalex.org/W2094716844","https://openalex.org/W2096307462","https://openalex.org/W2097153130","https://openalex.org/W2121083000","https://openalex.org/W2126735726","https://openalex.org/W2139300273","https://openalex.org/W2152182443","https://openalex.org/W2165372647","https://openalex.org/W2252595579","https://openalex.org/W2564833521","https://openalex.org/W2602753196","https://openalex.org/W2911699532","https://openalex.org/W2913233993","https://openalex.org/W2914931491"],"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":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}