{“id”：“https://openalex.org/W1594550269“，”doi“：”https://doi.org/10.1007/978-3-642-02777-2“，”title“：“可满足性测试的理论与应用-SAT 2009”，”display_name“：”SAT 2009“，”publication_year“：2009，”publiation_date“：”2009-01-01“，”ids“：{”openalex“：”https://openalex.org/W1594550269“，”doi“：”https://doi.org/10.1007/978-3-642-02777-2“，”mag“：”1594550269“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-02777-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book“，”type_crossref“：“book”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：true，”oa_status“green”，“oa_url”“：”https://upcommons.upc.edu/bitstream/2117/12674/1/Bonet_2009.pdf“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5073035961“，”display_name“：”Oliver Kullmann“，”orcid“：”https://orcid.org/0000-0003-3021-0095“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Oliver Kullmann“，”raw_affiliation_strings“：[]，“affiliations”：[]}]，“institution_assertions”：[]]，“countries_distict_count”：0，“institiations_disticent_count”：零，“corresponding_author_ids”：[”https://openalex.org/A5073035961“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.43，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：137，”citation_normalized_percentile“：{”value _10_percent“：false}，”引用_by_percentile_year“：{”min“：98，”max“：99}，”biblio“：{”volume“：null，”issue“：null，”first_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11357“，”display_name“：”风险分析与管理“，”score“：0.7457，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T11357“，”display_name“：”风险分析与管理“，”score“：0.7457，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“｝｝，｛”id“：”https://openalex.org/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.6763，”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“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估和预测“，”score“：0.6555，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”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/satisfiability网站“，”display_name“：”可满足性“，”分数“：0.8306464}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.55797}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.541299}，{”id“：”https://openalex.org/keywords/sensitity-analysis网站“，”display_name“：”敏感性分析“，”score“：0.540015}，{”id“：”https://openalex.org/keywords/人的可靠性分析“，”display_name“：”人因可靠性分析“，”score“：0.53588}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.523702}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.49706057}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8354944｝，｛”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.8306464}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.49706057}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46852013}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42588457}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4128977}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.32199132}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-02777-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2117/12674，“pdf_url”：https://upcommons.upc.edu/bitstream/2117/12674/1/Bonet_2009.pdf，“源”：{“id”：https://openalex.org/S4306400551“，”display_name“：”UPCommons（加泰罗尼亚理工大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I9617848“，”“host_organization_name”：“加泰罗尼亚理工大学”，“host_ordanization_lineage”：[“https://openalex.org/I9617848“]，”host_organization_lineage_names“：[”Universitat Polit\u00e8cnica de Catalunya“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/2117/12674，“pdf_url”：https://upcommons.upc.edu/bitstream/2117/12674/1/Bonet_2009.pdf，“源”：{“id”：https://openalex.org/S4306400551“，”display_name“：”UPCommons（加泰罗尼亚理工大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I9617848“，”“host_organization_name”：“加泰罗尼亚理工大学”，“host_ordanization_lineage”：[“https://openalex.org/I9617848“]，”host_organization_lineage_names“：[”Universitat Polit\u00e8cnica de Catalunya“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1484932675","https://openalex.org/W1489444259","https://openalex.org/W1490304119","https://openalex.org/W1521022632","https://openalex.org/W1577016621","https://openalex.org/W1579011093","https://openalex.org/W184791457“]，”related_works“：[”https://openalex.org/W4250124507","https://openalex.org/W2949268935","https://openalex.org/W2480714386","https://openalex.org/W2404668260","https://openalex.org/W2396641696","https://openalex.org/W2212155158","https://openalex.org/W2117005051","https://openalex.org/W2109577721","https://openalex.org/W1969885872","https://openalex.org/W1568496597“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1594550269“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：1}.，{“年”：2021，“ciped_by_cunt”：3}，“年”:2020，”cited_by_count“年份”：2017年，“引用_ by_count”：1}，{“年份”:2016，“引用_by_counts”：1{“年度”：2015年，“引_ by_cunt”：1}，{“年份”：2014，“引用_ by_count”：16}，{”年份”：2013，“引用_by_counts”：25}，}”年份“：2012，“引用的_by_cunt”：32}]，“更新日期”：“2024-09-19T16:03:44.626709”，“创建日期”：”2016-06-24“}”