{“id”：“https://openalex.org/W2103406309“，”doi“：”https://doi.org/10.3233/sat190070“，”title“：”ManySAT:并行SAT求解器“，”display_name“：”ManySAT:一个并行SAT解算器“，“publication_year”：2009，”publication_date“：”2009-06-01“，”ids“：{”openalex“：”https://openalex.org/W2103406309“，”doi“：”https://doi.org/10.3233/sat190070“，”mag“：”2103406309“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.3233/sat190070，“pdf_url”：https://content.iospress.com:443/download/journal-关于可满足性布尔建模与计算/sat190070？id=journal-on-satisfiability-boolean-modeling-and-compulation%2Fsat190070“，”source“：{”id“：”https://openalex.org/S92264924“，”“display_name”“：”《可满足性布尔建模与计算杂志》“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“gold”，“oa_url”：“”https://content.iospress.com:443/download/journal-on-satisfability-boolean-modeling-and-compulation/sat190070？id=journal-on-satisfiability-boolean-modeling-and-compulation%2Fsat190070“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5070568220“，”display_name“：”Youssef Hamadi“，”orcid“：”https://orcid.org/0000-0002-8560-2443}，“机构”：[{“id”：https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Youssef Hamadi“，”raw _affiliation_strings“：[“Microsoft Research，7 J Thomson Avenue，Cambridge CB3 0FB，United Kingdom。电子邮件：\u00a0youssefh@microsoft.com“]，”affiliations“：[{”raw_affiliation_string“：”Microsoft Research，7 J J Thomson Avenue，Cambridge CB3 0FB，United Kingdom。电子邮件：\u00a0youssefh@microsoft.com“，”institution_id“：[”https://openalex.org/I4210164937“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5014938618“，”display_name“：”Sa\u00efd Jabbour“，”orcid“：”https://orcid.org/0000-0002-8389-8332}，“机构”：[{“id”：https://openalex.org/I44563897“，”display_name“：”University\u00e9 d'Artois“，”ror“：”https://ror.org/053x9s498“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I44563897“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Said Jabbour“，”raw _affiliation_strings“：[“CRIL-CNRS，University\u00e9 d\u2019Artois，Rue Jean Souvraz SP18，F-62307 Lens Cedex，France。电子邮件：\u00a0jabbour@cril.fr,\u00a0sais@cril.fr公司“]，”affiliations“：[{”raw_affiliation_string“：”CRIL-CNRS，University\u00e9 d\u2019Artois，Rue Jean Souvraz SP18，F-62307 Lens Cedex，France。电子邮件：\u00a0jabbour@cril.fr,\u00a0sais@cril.fr“，”institution_id“：[”https://openalex.org/I44563897","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5037137798“，”display_name“：”Lakhdar Sa\u00efs“，”orcid“：”https://orcid.org/0000-0003-2879-8627}，“机构”：[{“id”：https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I44563897“，”display_name“：”University\u00e9 d'Artois“，”ror“：”https://ror.org/053x9s498“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I44563897“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Lakhdar Sais“，”raw _affiliation_strings“：[“CRIL-CNRS，University \u00e9 d\u2019Artois，Rue Jean Souvraz SP18，F-62307 Lens Cedex，France。电子邮件：\u00a0jabbour@cril.fr,\u00a0sais@cril.fr“]，”affiliations“：[{”raw_affiliation_string“：”CRIL-CNRS，University\u00e9 d\u2019Artois，Rue Jean Souvraz SP18，F-62307 Lens Cedex，France。电子邮件：\u00a0jabbour@cril.fr,\u00a0sais@cril.fr“，”institution_id“：[”https://openalex.org/I1294671590","https://openalex.org/I44563897“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[[]，”coresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：35.915，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：304，“citation_normalized_percentile”：{“value”：0.9 99965，“is_in_top_1_percent“：true，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：99，”max“：100}，“biblio”：{“volume”：“6”，”issue“：”4“，”first_page“：”245“，”last_page“：”262“}https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9898，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9898，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9817，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9718，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/constraint-optimization网站“，”display_name“：”约束优化“，”score“：0.499235}]，”concepts“：[{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.5812088}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5412521}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.3233/sat190070，“pdf_url”：https://content.iospress.com:443/download/journal-on-satisfability-boolean-modeling-and-compulation/sat190070？id=journal-on-satisfiability-boolean-modeling-and-compulation%2Fsat190070“，”source“：{”id“：”https://openalex.org/S92264924“，”“display_name”“：”《可满足性布尔建模与计算杂志》“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.3233/sat190070，“pdf_url”：https://content.iospress.com:443/download/journal-on-satisfability-boolean-modeling-and-compulation/sat190070？id=journal-on-satisfiability-boolean-modeling-and-compulation%2Fsat190070“，”source“：{”id“：”https://openalex.org/S92264924“，”“display_name”“：”《可满足性布尔建模与计算杂志》“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.63，”display_name“：”工业、创新和基础设施“，”id“：”https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：42，”referrenced_works“：【”https://openalex.org/W119554023","https://openalex.org/W1480909796","https://openalex.org/W14839205","https://openalex.org/W1485011986","https://openalex.org/W1485898611","https://openalex.org/W1518705996","https://openalex.org/W1529461765","https://openalex.org/W1566044003","https://openalex.org/W1576237074","https://openalex.org/W1586300459","https://openalex.org/W158822462","https://openalex.org/W1608123432","https://openalex.org/W1950282396","https://openalex.org/W198703374","https://openalex.org/W2022846948","https://openalex.org/W203746830","https://openalex.org/W2039027656","https://openalex.org/W2046612382","https://openalex.org/W2048051309","https://openalex.org/W2057361103","https://openalex.org/W2079547519","https://openalex.org/W2092775861","https://openalex.org/W2094855848","https://openalex.org/W2095709533","https://openalex.org/W2096307462","https://openalex.org/W2119190805","https://openalex.org/W2123098314","https://openalex.org/W2129807688","https://openalex.org/W2139462492","https://openalex.org/W2142648466","https://openalex.org/W2142785340","https://openalex.org/W2148818117","https://openalex.org/W2154318861","https://openalex.org/W2330199955","https://openalex.org/W2604772735","https://openalex.org/W2913803263","https://openalex.org/W4233090747","https://openalex.org/W4251625379","https://openalex.org/W425646262613","https://openalex.org/W4285719527","https://openalex.org/W4299836126","https://openalex.org/W85863863“]，”related_works“：[”https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W1596801655“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”paper“：[2]，”ManySAT“：[3]，”a“：[4]，”new“：[5]，”portfolio-based“：[6]，”parallel“：[7]，”SAT“:[8,24]，”solver“：[9]，”is“：[10]，”彻底“：[11]，”descripted.“：[12]，”The“：[13]，”设计“：[14]，“of”：[15,22,34]，“优点”：[17]，“来源”：[18]，“The”：[19]，“main”：[20]，“弱点”：[21]，“现代”：[23]，“解决者：”：[25]，“their”：[26,32]，“sensitivity”：[27]，“to”：[28]，“parameter”：[29]，“tuning”：[30]，“and”：[31]，“lack”：[33]，“robusiness”：[35]，“uses”：[37]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2103406309“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：12}，”年“:2022，”cited_bycount“:12}”，{“年份”：2021，”citecd_by_count”：11}，“年份”:2020，{年“：2019，”citted_by-count“:8}，}”年：2018，”citesd_by/count“:31}，“年份”：2017，“引用_ by_count”：18}，{“年份”:2016，“引用_by_counts”：21}，}“年份“：2015，”cited_by_count“：22}，{“年份”：2014，“cited_by_count”：28}，}“年份“：2013，“cited_by_count）：32}，｛“年份：2012，”cited_by _count〃：28}]，“更新日期”：“2024-09-19T09:22:45.217342”，“创建日期”：”2016-06-24“}