{“id”：“https://openalex.org/W1593394207“，”doi“：”https://doi.org/10.3233/978-1-58603-891-535“，”title“：”Justification-Based Non-Clausal Local Search for SAT“，”display_name“：”Justification-Based Non-Clausal Search for SAT“、”publication_year“：2008，”publication_date“：”2008-06-27“、”ids“：{”openalex“：”https://openalex.org/W1593394207“，”doi“：”https://doi.org/10.3233/978-1-58603-891-5-535“，”mag“：”1593394207“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”http://lib.tkk.fi/Diss/2008/isbn9789512296422/article6.pdf“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306418308“，”display_name“：”欧洲人工智能会议“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：null，”host_organization_name“：null，”host_organization_lineage“：[]，”host_organization_lineage_names“：[]，”type“：”Conference“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：“文章”，”type_crossref“：”proceedings-article“，”indexed_in“：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：假}，“作者身份”：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5081120128“，”display_name“：”Matti J\u0084\u00e4rvisalo“，”orcid“：”https://orcid.org/0000-0003-2572-063X“}，”机构“：[]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Matti J\u00e4rvisalo“，”raw _ afiliation_strings“：[“赫尔辛基理工大学信息与计算机科学系，芬兰。电子邮件：matti.jarvisalo@tkk.fi#TAB#“]，”affiliations“：[{”raw_affiliation_string“：”赫尔辛基科技大学信息与计算机科学系，芬兰。电子邮件：matti.jarvisalo@tkk.fi#TAB#“，”institution_ids“：[]}]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[]，”countries“：[”FI“]，”is_corresponding“：false，”raw_author_name“:”Tommy Junttila'，“raw_affiliation_strings”：[”赫尔辛基理工大学信息与计算机科学系，芬兰。电子邮件：tommi.junttila@tkk.fi#TAB#“]，”affiliations“：[{”raw_affiliation_string“：”赫尔辛基科技大学信息与计算机科学系，芬兰。电子邮件：tommi.junttila@tkk.fi#TAB#“，”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[]，”countries“：[”FI“]，”is_corresponding“：false，”raw_author_name“:”Ilk ka Niemel \u00e 4“，“raw_affiliation_strings”：[”赫尔辛基理工大学信息与计算机科学系，芬兰。电子邮件：ilkka.niemela@tkk.fi#TAB#“]，”affiliations“：[{”raw_affiliation_string“：”赫尔辛基科技大学信息与计算机科学系，芬兰。电子邮件：ilkka.niemela@tkk.fi#TAB#“，”institution_ids“：[]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”instistations_disticent_count”：0，”corresponding_author_ids”：[]“correspounding_institution_ids”：[]apc_list“：null，”apc_payed“：nul，”fwci“：1.642，”has_fulltext“：false，”cited_by_count：8，”citation_normalized_percentile“：{”value“：0.5737”736，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“535”，”last_page“：”539“}https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9979，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9979，“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/T11303“，”“display_name”：“贝叶斯网络中的学习和推理”，“score”：0.9949，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”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.9932，“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/euristics“，”display_name“：”启发式“，”score“：0.89843506}，{”id“：”https://openalex.org/keywords/observability网站“，”display_name“：”Observability“，”score“：0.7199122}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.5699057｝，｛”id“：”https://openalex.org/keywords/spacial-reasoning网站“，”display_name“：”Spatial Reasoning“，”score“：0.56823}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.53625953}，{”id“：”https://openalex.org/keywords/temoral-reasoning网站“，”display_name“：”时间推理“，”score“：0.535236}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.529818}，{”id“：”https://openalex.org/keywords/random-satifiability网站“，”display_name“：”随机可满足性“，”score“：0.528116}，{”id“：”https://openalex.org/keywords/constraint-optimization（https://openalex.org/keywords/constraint-optimization）“，”display_name“：”约束优化“，”score“：0.519029}]，”concepts“：[{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245“，”display_name“：”启发式“，”level“：2，”score“：0.89843506}，{”id“：”https://openalex.org/C36299963，“wikidata”：https://www.wikidata.org/wiki/Q1369844网址“，”display_name“：”Observability“，”level“：2，”score“：0.7199122｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.658586}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.59765005}，{”id“：”https://openalex.org/C135320971，“wikidata”：https://www.wikidata.org/wiki/Q1868524“，”display_name“：”本地搜索（优化）“，”level“：2，”score“：0.5735401}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.5699057}，{”id“：”https://openalex.org/C152062344，“wikidata”：https://www.wikidata.org/wiki/Q818888“，”display_name“：”Computability“，”level“：2，”score“：0.55508906}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.53625953}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49580488}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.4917293}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.49049538}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39076823}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.35291255}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.24530211}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”http://lib.tkk.fi/Diss/2008/isbn9789512296422/article6.pdf“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306418308“，”“display_name”“：”“欧洲人工智能会议”“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[[]，“referenced_works_count”：15，“referrenced_works”：[“https://openalex.org/W1513176853","https://openalex.org/W1518211069","https://openalex.org/W1552944591","https://openalex.org/W160143675","https://openalex.org/W1667614912","https://openalex.org/W1967970073","https://openalex.org/W1978526866","https://openalex.org/W2026355757","https://openalex.org/W2081692349","https://openalex.org/W2101602798","https://openalex.org/W2106440199","https://openalex.org/W2109577721","https://openalex.org/W2110737535","https://openalex.org/W2140132043","https://openalex.org/W2165372647“]，”related_works“：[”https://openalex.org/W321158196","https://openalex.org/W3018258968","https://openalex.org/W2784788793","https://openalex.org/W2149676416","https://openalex.org/W214250485","https://openalex.org/W2126983591","https://openalex.org/W2108747051","https://openalex.org/W1988302213","https://openalex.org/W1913543287","https://openalex.org/W1871585472","https://openalex.org/W1862298752","https://openalex.org/W171692803","https://openalex.org/W1622856160","https://openalex.org/W1601158010","https://openalex.org/W1594518690","https://openalex.org/W1552944591","https://openalex.org/W1533981606","https://openalex.org/W1531103278","https://openalex.org/W153082311","https://openalex.org/W118580665“]，”abstract_inverted_index“：{”While“：[0]，”随机“：[1]，”本地“：[2]，”搜索“：[3,62]，”（SLS）“：[4]，”技术“：[5,46]，”是“：[6]，”非常“：[7]，”高效“：[8]，”in“：[9,33,38,88100]，”求解“：[10]，”硬“：[11]，”随意“：[12]，”生成“：[13]，”命题“：[14]，“可满足性”“：[15]，”（SAT）“：[16]，”问题“：[17]，”实例“：[18,67]，”a“：[19,81,94]，”major“：[20]，”challenge“：[21]，”is“：[22]，”to“：[23,56,93113]，”improve“：[24]，”SLS“：[25,45,57]，”on“：[26105115]，”structured“：[27]，”problems。“：[28]，”激励“：[29]，”由“：[30,47]，”启发式“：[31,58]，”应用“：[32]，”完成“：[34]，”电路级“：[35]，”SAT“：[36]，”求解器“：[37]，”电子“：[39]，”设计“：[40]，”自动化“：[41]，”我们“：[42]，”开发“：[43]，”新颖“：[44]，”驾驭“：[C8]，“the”：[49,61,85101116121]，“概念”：[50]，“of”：[51,66,84,97103120]，“理由”：[52]，“边界。“：[53]，“This”：[54]，“leads”：[55]，“which”：[59]，“concentrate”：[60]，“into”：[63]，“relevant”：[64]，“parts”：[65]，“exploit”：[68]，“observability”：[69]，“don’t”：[70]，“cares”：[71]，“and”：[72]，“allow”：[73]，“for”：[74]，“an”：[75]，“early”：[76]，“stopping”：[77]，“criterial”。“：[78]，”实验“：[79]，”用“：[80]，”原型“：[82]，”实现“：[83]，”框架“：[86]，”呈现“：[87]，”这个“：[89]，”论文“：[90]，”显示“：[91]，”向上“：[92]，”四“：[95]，”阶数“：[96]，”幅度“：[98]，”减少“：[99]，”数字“：[102]，”移动“：[104]，”真实世界“：[106]，”有界“：[107]，“model”：[108]，“checking”：[109]，“instances”：[110]，“when”：[111]比较了“：[112]，”WalkSAT“：[114]，”标准“：[117]，”CNF“：[118]，”编码“：[119]，”实例。“：[122]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1593394207“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-09-26T17:34:53.428986“，”创建日期“：“2016-06-24”}