{“id”：“https://openalex.org/W2287565210“，”doi“：”https://doi.org/10.4230/oasics.iccsw.2014.58“，”title“：”作为DPLL模理论的符号执行“，”display_name“：”用作DPLL模定理的符号执行”，“publication_year”：2014，“publiction_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W2287565210“，”doi“：”https://doi.org/10.4230/oasics.iccsw.2014.58“，”mag“：”2287565210“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://dblp.uni-trier.de/db/conf/iccsw/iccsw2014.html#Phan14“，”pdf_url“：null，”source“：null[源]，”license“：null，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“journal-article”，“indexed_in”：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“any_repository_has_fulltext”：false}“，”authorships“：[{”position“：”first“，”author“：{”id“：”https://openalex.org/A5077895353“，”display_name“：”Quoc Sang Phan“，”orcid“：”https://orcid.org/0000-0002-1661-044X“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Quoc-Sang Phan“，”raw_affiliation_strings“：[]，“附属机构”：[]}]，“机构评估”：[]]，“countries_distiction_count”：0，“institutions_disticent_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5077895353“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.639，”has_fulltext“：false，”cited_by_count“：3，”citation_normalized_percentile“：{”value“：0.428899，”is_in_top_1_percent“：false，”is.in_top_10_percent.“：false}，”cited_by_percentile_year“：{”min“：77，”max“：79}，“biblio”：{“volume”：“43”，“issue”：null，“first_page”：“58”，“last_page”：“65“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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.9993，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9988，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9985，“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/dpll-algorithm“，”display_name“：”DPLL算法“，”score“：0.84609723｝，｛”id“：”https://openalex.org/keywords/symbolic-trajector-evaluation“，”“display_name”“：”符号轨迹评估“，”分数“：0.75454634}，{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.637476}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.582137}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.558893}，{“id”：“https://openalex.org/keywords/concolic-testing网站“，”display_name“：”Concolic testing“，”score“：0.55069256}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.4461471}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.44000772}，{”id“：”https://openalex.org/keywords/the-symbolic网站“，”display_name“：”The Symbolic“，”score“：0.436916}，{”id“：”https://openalex.org/keywords/symbolic-data-analysis网站“，”display_name“：”符号数据分析“，”score“：0.43426895}，{”id“：”https://openalex.org/keywords/谓词抽象“，”display_name“：”谓词抽象“，”score“：0.41093126}]，”concepts“：[{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.930156}，{”id“：”https://openalex.org/C143936061，“wikidata”：https://www.wikidata.org/wiki/Q2030088“，”display_name“：”DPLL算法“，”level“：4，”score“：0.84609723}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.8175652｝，｛”id“：”https://openalex.org/C23123167，“wikidata”：https://www.wikidata.org/wiki/Q7661193“，”“display_name”“：”符号轨迹评估“，”级别“：3，”分数“：0.75454634}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7264233}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.6426664}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.59228736｝，｛”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.55069256}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5291928}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4572728}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.4461471}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.44000772}，{”id“：”https://openalex.org/C2776095079，“wikidata”：https://www.wikidata.org/wiki/Q489538“，”display_name“：”The Symbolic“，”level“：2，”score“：0.436916}，{”id“：”https://openalex.org/C65620979，“wikidata”：https://www.wikidata.org/wiki/Q7661176“，”display_name“：”符号数据分析“，”level“：2，”score“：0.43426895}，{”id“：”https://openalex.org/C2779907942，“wikidata”：https://www.wikidata.org/wiki/Q7239630“，”display_name“：”谓词抽象“，”level“：3，”score“：0.41093126}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38600397}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.35056728}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.27338415}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21354192}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.124715686}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”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/C11171543，“wikidata”：https://www.wikidata.org/wiki/Q41630“，”display_name“：”精神分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134652429，“wikidata”：https://www.wikidata.org/wiki/Q1052698“，”display_name“：”Jitter“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://dblp.uni-trier.de/db/conf/iccsw/iccsw2014.html#Phan14“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：0，“referrenced_works”：[]https://openalex.org/W3147910429","https://openalex.org/W3109650547","https://openalex.org/W3099066793","https://openalex.org/W3086321110","https://openalex.org/W3021334088","https://openalex.org/W3013170861","https://openalex.org/W2998230458","https://openalex.org/W2922881962","https://openalex.org/W2892050133","https://openalex.org/W2793855799","https://openalex.org/W2761874473","https://openalex.org/W2182838201","https://openalex.org/W2119342939","https://openalex.org/W2115261880","https://openalex.org/W1980688815","https://openalex.org/W1672341681","https://openalex.org/W1573508071","https://openalex.org/W15721828","https://openalex.org/W1507006488","https://openalex.org/W145886658“]，”abstract_inverted_index“：{”We“：[0]，”show“：[1]，”how“：[2]，”Symbolic“：[3,31,76]，”Execution“：[4]，”can“：[5]，”be“：[6]，”understand“：[7]，”as“：[8]，”a“：[9,55,66,71]，”variant“：[10]，”of“：[11,48,57,65]，”the“：[12,12,26]，”DPLL（T“：[13]，”）“：[14]，”算法“：[15]，”其中“：[16]，”是“：[17]，”主导“：[19]，”技术“：[20]，”对于“：[21,75]，”可满足性“：[23]，”模块”：[24]，“理论”：[25]，“（SMT）”：[26]，“问题。“：[27]，”In“：[28]，”other“：[2]，”words“：[30]，”Executors“：[32]，”are“：[33]，”SMT“：[34,43]，”solvers“。“：[35]，“This”：[36,68]，“view”：[37]，“enables”：[38]，“us”：[39]，“to”：[40,54,60]，“use”：[41]，“an”：[42]，“solver”：[44]，“with”：[45,52]，“ability”：[47]，“generating”：[49]，“all”：[50,62]，“models”：[51]，“respect”：[53]，“set”：[56]，“Boolean”：[58]，“atoms”：[59]，“探索”：[61]，“符号”：[63]，“路径”：[64]，“程序”。“：[67]，”结果“：[69]，”in“：[70]，”more“：[72]，”轻量级“：[73]，”方法“：[74]，”执行。“：[77]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2287565210“，”counts_by_year“：[{”年份“：2015，”cited_by_count“：3}]，”updated_date“：”2024-09-25T02:29:36.630116“，”created_dates“：”2016-06-24“}