{“id”：“https://openalex.org/W2186482705“，”doi“：”https://doi.org/10.1609/aaai.v25i1.7818“，”title“：”Succinct Set-Encoding for State-Space Search“，”display_name“：”Succinct Set-Encodingfor State-Sace Searchs“，”publication_year“：2011，”publiation_date“：”2011-08-04“，”ids“：{”openalex“：”https://openalex.org/W2186482705“，”doi“：”https://doi.org/10.1609/aaai.v25i1.7818“，”mag“：”2186482705“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1609/aai.v25i1.7818网址，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/7818/7677，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”人工智能发展协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“journal-article”，“indexed_in”：[”crossref“]oaurl“：”https://ojs.aaai.org/index.php/aaai/article/download/7818/7677“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A500050117“，”display_name“：”Tim Schmidt“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]}，{”id“：”https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“，”US“]，”is_corresponding“：false，”raw_author_name“：”Tim Schmidt“，“raw_affiliation_strings”：[”Palo Alto Research Center，Inc.and Technische University \u00e4t M\u00fcnchen“]，“afliations”：[{”raw_affiliation_string“：”Palo Alto Research Center，Inc.and Techische university \u 00e4T M\u00 fcnchen”，“institution_ids”：[“https://openalex.org/I173498003","https://openalex.org/I62916508“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5101721234“，”display_name“：”荣周“，”兽人“：”https://orcid.org/00000-0002-5825-1094}，“机构”：[{“id”：https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Rong Zhou“，”raw _affiliation_strings“：[“Palo Alto Research Center，Inc.”]，”affiliations“：[{”raw _affiliation_string“：”Palo Alto Research Center，Inc.”，“institution_ids”：[“https://openalex.org/I173498003“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count 6，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：73，”max“：76}，“biblio”：{“volume”：“25”，“issue”：“1”，“first_page”：“87”，“last_page”：”92“}”，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9987，”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/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9987，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9986，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9984，“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/keywords/binary-decision-diagram网站“，”display_name“：”二进制决策图“，”score“：0.7124151}，{”id“：”https://openalex.org/keywords/representation网站“，”display_name“：”Representation（politics）“，”score“：0.5877005}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.530626}，{”id“：”https://openalex.org/keywords/启发式搜索“，”display_name“：”启发式搜索“，”score“：0.526785｝，｛”id“：”https://openalex.org/keywords/case-based-reasoning网站“，”“display_name”：“基于事例的推理”，“score”：0.501308}，{“id”：“https://openalex.org/keywords/search-problem“，”display_name“：”搜索问题“，”score“：0.4368257}，{”id“：”https://openalex.org/keywords/prefix“，”display_name“：”前缀“，”score“：0.4228607}，{”id“：”https://openalex.org/keywords/sequence网站“，”display_name“：”Sequence（biology）“，”score“：0.4135181}]，”concepts“：[{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.7124151}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.66155124}，{”id“：”https://openalex.org/C125411270，“wikidata”：https://www.wikidata.org/wiki/Q18653“，”display_name“：”编码（内存）“，”级别“：2，”分数“：0.65419436}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.6040949}，{”id“：”https://openalex.org/C99138194，“wikidata”：https://www.wikidata.org/wiki/Q183427“，”display_name“：”哈希函数“，”level“：2，”score“：0.6032361}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.5877005}，{”id“：”https://openalex.org/C87431388，“wikidata”：https://www.wikidata.org/wiki/Q2070573“，”display_name“：”完美哈希函数“，”level“：4，”score“：0.58166397}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.54311085}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5292812｝，｛”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5186228}，{”id“：”https://openalex.org/C67388219，“wikidata”：https://www.wikidata.org/wiki/Q207440“，”display_name“：”哈希表“，”level“：3，”score“：0.47504616｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46797708}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.45102283}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.44968313}，{”id“：”https://openalex.org/C201789804，“wikidata”：https://www.wikidata.org/wiki/Q2362762“，”display_name“：”搜索问题“，”级别“：2，”分数“：0.4368257}，{”id“：”https://openalex.org/C141603448，“wikidata”：https://www.wikidata.org/wiki/Q134830“，”display_name“：”前缀“，”级别“：2，”分数“：0.4228607}，{”id“：”https://openalex.org/C2778112365，“wikidata”：https://www.wikidata.org/wiki/Q3511065“，”display_name“：”Sequence（biology）“，”level“：2，”score“：0.4135181}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3419848}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.084223926}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：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/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材料“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：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/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：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/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”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“：true，”landing_page_url“：”https://doi.org/10.1609/aaai.v25i1.7818，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/7818/7677，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1609/aaai.v25i1.7818，“pdf_url”：https://ojs.aai.org/index.php/aaai/article/download/77818/7677，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”人工智能发展协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“，”score“：0.53}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：12，”referrenced_works“：[”https://openalex.org/W127947978","https://openalex.org/W1625256512网址","https://openalex.org/W1983019803","https://openalex.org/W2080267935","https://openalex.org/W2093788424","https://openalex.org/W2097267767","https://openalex.org/W2120660420","https://openalex.org/W2150470619","https://openalex.org/W227764756","https://openalex.org/W3101355526","https://openalex.org/W4248795023","https://openalex.org/W92677169“]，”related_works“：[”https://openalex.org/W4244260696","https://openalex.org/W4233214470","https://openalex.org/W3156632946","https://openalex.org/W2186482705","https://openalex.org/W2155123971","https://openalex.org/W2061112603","https://openalex.org/W1591563876","https://openalex.org/W1539167344","https://openalex.org/W1535701044","https://openalex.org/W1480198903“]，”abstract_inverted_index“：{”We“：[0]，”introduce“：[1]，”the“：[2,95]，”level-ordered“：[3]，”edge“：[4]，”sequence“：[5]，”（LOES）“：[6]，”a“：[7,66,80]，”suc-“：[8]，”cinc“：[9]，”encoding“：[10]，”for“：[11,24,79]，”state-sets“：[12]，”based“：[13]，”on“：[14,34]，“前缀树。”：[15]，“for”：[16]，“use”：[17]，“in”：[18]，“state-space”：[19]，“search”：[20]，“We”：[21,52]，“给定“：[22]，“算法”：[23]，“成员”：[25]，“测试”：[26]，“和”：[27,41,46,60,89]，“元素”：[28]，“散列”：[29]，“with”：[30]，“运行时”：[31]，“依赖”：[32]，“仅”：[33]，“状态-”：[35]，“大小”：[36]，“as”：[37,39]，“well”：[38]，“空格”：[40]，“内存”：[42]，“有效”：[43]，“构造”：[44]，“of”：[45,68,83,97]，“迭代”：[47]，“over”：[48,65]，“such”：[49]，“套。“：[50]，”最后“：[51]，”比较“：[53]，”LOES“：[54,75]，”to“：[55]，”二进制“：[56]，”决策“：[57]，”图表“：[58]，”（BDD）“：[59]，”显式“：[61]，”打包“：[62]，”集合“：[63]，”表示“：[64]，”范围“：[67,82]，”IPC“：[69]，”规划“：[70,84]，”问题。“：[71]，“我们的”：[72]，“结果”：[73]，“显示”：[74]，“生成”：[76]，“简洁”：[77]，“集合编码”：[78]，“更宽”：[81]，“问题”：[85,98]，“比”：[86]，“两者”：[87]，“BDD”：[88]，“ex-”：[90]，“plicit”：[91]，“状态”：[92]，“表示”：[93]，“增加”：[94]，“数字”：[96]，“that”：[99]，“can”：[100]，“be”：[101]，“solved”：[102]，“cost-optimly。“：[103]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2186482705“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2018，”cited_by_count”：1}]，”更新日期“：”2024-09-18T02:18:18.569639“，”创建日期“：“2016-06-24”}