{“id”：“https://openalex.org/W3128448798“，”doi“：”https://doi.org/10.3233/faia201011“，”标题“：”第27章。非条款SAT和ATPG“，”display_name“：”第27章。非条款SAT和ATPG“，”publication_year“：2021，”publiation_date“：”2021-02-02“，”ids“：{”openalex“：”https://openalex.org/W3128448798“，”doi“：”https://doi.org/10.3233/faia201011“，”mag“：”3128448798“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/faia201011“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210201731“，”display_name“：”人工智能和应用领域的前沿“，”issn_l“：”0922-6389“，”isn“：[”0922-60389“、”1879-8314“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：null，”host_organization_name“:nullis_accepted“：false，”is_published“：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：假}，“作者身份”：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5071742136“，”display_name“：”Rolf Drechsler“，”orcid“：”https://orcid.org/0000-0002-9872-1740“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Rolf Drechsler“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Tommy Junttila“，”raw _affiliation_strings“：]，”afliations“：【】}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Ilk ka Niemel \u00e 4“，“raw_affiliation_strings”：[]“afliations”：[]}]，“countries_distiction_count”：0，“institutions_distriction_counts”：0“corresponding_author_ids”：[】，“correscondition_institution_id”ds“：[]，”apc_list“：null，”apc_payd“：null，”fwci“：1.861，”has_fulltext“：false，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：72，”max“：77}，”biblio“：{“volume”：null、”issue“：null，”first_page“：null}，“last_page”：null}、“is_retracted”：false、“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T11596“，”display_name“：”分布式约束优化问题与算法“，”score“：0.971，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.971，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.952，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9472，”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/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.506868}，{”id“：”https://openalex.org/keywords/random-satifiability（https://openalex.org/keywords/random-satifiability）“，”display_name“：”随机可满足性“，”score“：0.501374}]，”concepts“：[{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.79401284}，{”id“：”https://openalex.org/C16221470，“wikidata”：https://www.wikidata.org/wiki/Q846564“，”display_name“：”连接范式“，”level“：2，”score“：0.78888434}，{”id“：”https://openalex.org/C17626397，“wikidata”：https://www.wikidata.org/wiki/Q837455“，”display_name“：”自动测试模式生成“，”level“：3，”score“：0.7227304}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.7143358}，{”id“：”https://openalex.org/C74640108，“wikidata”：https://www.wikidata.org/wiki/Q1372900“，”display_name“：”命题公式“，”level“：5，”score“：0.6152118}，{”id“：”https://openalex.org/C200415742，“wikidata”：https://www.wikidata.org/wiki/Q1350285“，”display_name“：”True quantified Boolean formula“，”level“：2，”score“：0.54844725}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.5384161｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.49744084}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4965673}，{”id“：”https://openalex.org/C143936061，“wikidata”：https://www.wikidata.org/wiki/Q2030088“，”display_name“：”DPLL算法“，”level“：4，”score“：0.49517885}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.45745862}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.43174094}，{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足模理论“，”level“：2，”score“：0.4220661}，{”id“：”https://openalex.org/C111797529，“wikidata”：https://www.wikidata.org/wiki/Q17080584“，”display_name“：”最大可满足性问题“，”level“：3，”score“：0.4200064}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.39419255}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38161626}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36413765}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.34334046}，{”id“：”https://openalex.org/C134146338，“wikidata”：https://www.wikidata.org/wiki/Q1815901“，”display_name“：”电子电路“，”level“：2，”score“：0.22877935}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1712622｝，｛”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.072722435}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C12707504，“wikidata”：https://www.wikidata.org/wiki/Q52637“，”display_name“：”锁相环“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C134652429，“wikidata”：https://www.wikidata.org/wiki/Q1052698“，”display_name“：”Jitter“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/faia201011“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210201731“，”display_name“：”人工智能和应用领域的前沿“，”issn_l“：”0922-6389“，”isn“：[”0922-60389“、”1879-8314“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：null，”host_organization_name“:nullis_accepted“：false，”is_published“：false}]，”best_oa_location“：null，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的制度“，”分数“：0.41，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W4379958492","https://openalex.org/W2611506716","https://openalex.org/W2504339508","https://openalex.org/W2407696767","https://openalex.org/W2149719182","https://openalex.org/W2118613560","https://openalex.org/W2098087031","https://openalex.org/W2015099359","https://openalex.org/W1916519491","https://openalex.org/W1496518193“]，”ngrams_url“：”https://api.openalex.org/works/W3128448798/ngrams网站“，”“abstract_inverted_index”：{“When”：[0]，“studing”：[1]，“the”：[2,9,24,29,77103118124136155158173197211216]，“positional”：[3,15112169]，“satisfiability”：[4,40170]，“problem”：[5,10212]，“（SAT），”：[6]，“：[13]，”a“：[14,42,93111139183225247]，“公式”：[16,25,43,96104113119175185]，“是”：[17,20,26,50,58,61176]，“可满足”：[18]，“它”：[19,60]，“典型”：[21]，“假设”：[22]，“给定”：[27178]，“in”：[28,51,98114142179200215]，“合取”：[30]，“正常”：[31]，“形式”：[32218]，”（CNF）。“：[33]，”另外“：[34]，”大多数“：[35]，”软件“：[36]，”工具“：[37]，”用于“：[38,56,70,73107167235253]，”（SAT“：[44]，”解算器）“：[45]，”假设“：[46]，”它们的“：[48]，”输入“：[49174]，”CNF。“：[52]，”安“：[53]，”重要“：[54]，”原因“：[55]，”这个“：[57162]，”简单“：[62]，”到“：[63148206]，”开发“：[64]，”高效“：[65,83]，”数据“：[66]，”结构“：[67]，”和“：[68100209238250]，”算法“：[69]，”CNF“：[71,81106115149180201]，”比“：[72]，”任意“：[74]，”公式。“：[75]，”开“：[76]，”其他“：[78]，”手“：[79]，”使用“：[80]，”制造“：[82]，”建模“：[84,99]，”an“：[86132]，”应用程序“：[87]，”繁琐。“：[88]，”因此“：[89]，”一“：[90150]，”经常“：[91151]，”雇用“：[92]，”更多“：[94188]，”一般“：[95184]，”表示“：[97]，”然后“：[101]，”转换“：[102]，”到“：[105]，”SAT“：[108140248]，”解算器。“：[109]，“转换”：[110]，“任意”：[116]，“增加”：[117]，“大小”：[120]，“指数”：[121]，“或”：[122186]，“要求”：[123]，“使用”：[125]，“辅助”：[127]，“变量”：[128]，“其中”：[129]，“可以”：[130219]，“有”：[131]，“负”：[133]，“效果”：[134]，“on”：[135]，“性能”：[137]，”solver“：[141]，”最坏情况。“：[144]，”“此外，”：[145]，“by”：[146]，“translating”：[147]，“loss”：[152]，“information”：[153]，“about”：[154]，“structure”：[156213]，“original”：[159]，“problem”。“：[160]，”In“：161]，”chapter“：[163]，”we“：[164223]，”survey“：[165]，”methods“：[166]，”solving“：[168]，”problems“：[171]，”when“：[172]，”not“：177]，”but“：181]，”as“：[182190246]，”even“：[187]，”compactly“：[189]，”Boolean“：%192207]，”circuit“。“：[193]，”We“：[194]，”show“：[195]，”how“：[C96210]，”technologies“：[198252]，”applied“：[199]，”level“：[202]，“Davis-Putnam-Loveland-Logemann”：[203]，”algorithm“：[204]，”generalize“：[205]，”circuits“：[208237]，”available“：[214]，”circuit“：[217]，”be“：[220]，”provided“。“：[221]，”然后“：[222]，”考虑“：[224]，”密切“：[226]，”相关“：[227]，”区域“：[228]，”自动“：[230]，”测试“：[231]，”模式“：[232]，”生成“：[233]，”（ATPG）“：[234]，”数字“：[236]，”审查“：[239]，”经典“：[240]，”ATPG“：[241245]，”算法“：[242]，”公式“：[243]，“问题”，：[249]，“高级”：[251]，“基于SAT”：[254]，“ATPG。“：[255]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3128448798“，”counts_by_year“：[{”年“：2023，”引用_by_count“：2}]，”更新日期“：”2024-06-23T20:14:06.003835“，”创建日期“：“2021-02-15”}“