{“id”：“https://openalex.org/W2756821303网址“，”doi“：”https://doi.org/10.109/iscas.2017.8050970“，”title“：”非行为投射NPNP布尔匹配问题的搜索空间缩减“，”display_name“：”不行为投射NPNP布尔匹配的搜索空间削减“，”publication_year“：2017，”publitation_date“：”2017-05-01“，”ids“：{”openalex“：”https://openalex.org/W2756821303“，”doi“：”https://doi.org/10.109/iscas.2017.8050970“，”mag“：”2756821303“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iscas.2017.8050970“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5034446292“，”display_name“：”Feng Wang“，”orcid“：”https://orcid.org/0000-0002-1630-9550}，“机构”：[{“id”：https://openalex.org/I4210157323“，”display_name“：”华南协同创新研究院“，”ror“：”https://ror.org/04jnpk588“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210157323","https://openalex.org/I90610280“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Feng Wang“，”raw _affiliation_strings“：[“NUDT，中国高性能计算协同创新中心”]，”affiliations“：[{”raw _affiliation_string“：”NUDT（中国高性能计算机协同创新中心），“institution_ids”：[“https://openalex.org/I4210157323“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5029153042“，”display_name“：”Jixi Zhang“，”orcid“：”https://orcid.org/0000-0001-6177-8690}，“机构”：[{“id”：https://openalex.org/I4210157323“，”display_name“：”华南协同创新研究院“，”ror“：”https://ror.org/04jnpk588“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210157323","https://openalex.org/I90610280“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Jixi Zhang“，”raw _affiliation_strings“：[“NUDT，中国高性能计算协同创新中心”]，”affiliations“：[{”raw _affiliation_string“：”NUDT（中国高性能计算机协同创新中心），“institution_ids”：[“https://openalex.org/I4210157323“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5022519087“，”display_name“：”Lange Wu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210157323“，”display_name“：”华南协同创新研究院“，”ror“：”https://ror.org/04jnpk588“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210157323","https://openalex.org/I90610280“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Lange Wu“，”raw _affiliation_strings“：[“NUDT，中国高性能计算协同创新中心”]，”affiliations“：[{”raw _affiliation_string“：”NUDT（中国高性能计算机协同创新中心），“institution_ids”：[“https://openalex.org/I4210157323“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5101968854“，”display_name“：”Wentai Zhang“，”orcid“：”https://orcid.org/0000-0003-1876-6242}，“机构”：[{“id”：https://openalex.org/I4210157323“，”display_name“：”华南协同创新研究院“，”ror“：”网址：https://ror.org/04jnpk588“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210157323","https://openalex.org/I90610280“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Wentai Zhang“，”raw _affiliation_strings“：[“NUDT，中国高性能计算协同创新中心”]，”affiliations“：[{”raw _affiliation_string“：”NUDT（中国高性能计算机协同创新中心），“institution_ids”：[“https://openalex.org/I4210157323“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023468643“，”display_name“：”Guojie Luo“，”orcid“：”https://orcid.org/0000-0003-4932-3655}，“机构”：[{“id”：https://openalex.org/I4210157323“，”display_name“：”华南协同创新研究院“，”ror“：”https://ror.org/04jnpk588“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210157323","https://openalex.org/I90610280“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Guojie Luo“，”raw _ afiliation_strings“：[“NUDT，中国高性能计算协同创新中心”]，”affiliations“：[{”raw _affiliation_strong“：”NUDT、中国高性能计算机协同创新中心，“institution_ids”：[“https://openalex.org/I4210157323“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：0.571，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 78297，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：75，”max“：78}，“biblio”：{“volume”：“3”，”issue“：null，”first_page“：”1“，”last_page“：”4“}https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9962，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.9955，”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/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.536614}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.519478}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.507244}]，”concepts“：[{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686网址“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.6476881}，{”id“：”https://openalex.org/C165064840，“wikidata”：https://www.wikidata.org/wiki/Q1321061“，”display_name“：”Matching（statistics）“，”level“：2，”score“：0.6469709｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5715625}，{”id“：”https://openalex.org/C196836630，“wikidata”：https://www.wikidata.org/wiki/Q4753279“，”display_name“：”And-inverter graph“，”level“：4，”score“：0.51469666}，{”id“：”https://openalex.org/C141796577，“wikidata”：https://www.wikidata.org/wiki/Q837479“，”display_name“：”布尔电路“，”level“：3，”score“：0.48707607}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4654053}，{”id“：”https://openalex.org/C177846678，“wikidata”：https://www.wikidata.org/wiki/Q1501864“，”display_name“：”投影测试“，”level“：2，”score“：0.4479397｝，｛”id“：”https://openalex.org/C158465420，“wikidata”：https://www.wikidata.org/wiki/Q1979515“，”display_name“：”布尔表达式“，”level“：3，”score“：0.44022155}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.4141117}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41019458}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.35291082}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iscas.2017.8050970“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：12，“referrenced_works”：[”https://openalex.org/W100574688","https://openalex.org/W1528837436","https://openalex.org/W2029174117","https://openalex.org/W2039485990","https://openalex.org/W2101101130","https://openalex.org/W2114722319","https://openalex.org/W2115967254","https://openalex.org/W2140085407","https://openalex.org/W2158673063","https://openalex.org/W2533987500","https://openalex.org/W4232693083","https://openalex.org/W4242390528“]，”related_works“：[”https://openalex.org/W4248224315","https://openalex.org/W3144510369","https://openalex.org/W3029381898","https://openalex.org/W2728195892","https://openalex.org/W2516690985","https://openalex.org/W2169792446","https://openalex.org/W2063425181","https://openalex.org/W2062972911","https://openalex.org/W2060171268","https://openalex.org/W1976822807“]，”abstract_inverted_index“：{”The“：[0]，”non-act“：[1,44]，”projective“：[2,46]，”NPNP“：[3,36]，”（NP3）“：[4]，”Boolean“：[5,37,62]，”matching“：[6,38,63]，”问题“：[7,39]，”is“：[8]，”actually“：[9]，”significate“：[10]，”in“：[11]，”The“：[12,34,43,75]，”applications“：[13]，”of“：[14,68]，”技术“：[15]，”映射“：[16]，”逻辑“：[17]，”验证“：[18]，”和“：[19,30,45,65]，”硬件“：[20]，”安全。“：[21]，”“然而，”：[22]，“它的”：[23]，“困难”：[24]，“强迫”：[25]，“一个”：[26]，“不令人满意”：[27]，“运行”：[28]，“时间”：[29]，“常规”：[31]，“算法”：[32]，“for”：[33]，“基本”：[35]，“执行”：[40]，“可怕”：[41]，“on”：[42]，“类型。“：[47]，”In“：[48]，”this“：[49,58]，”paper“：[50]，”we“：-51]，”suggest“：[52]，”a“：[53]，”novel“：/54]，”algorithm“：55,82]，”to“：[56,72]，”solve“：[57]，”newly“：[59]，”rising“：[60]，”NP3“：[61]，”problem“：[64]，”multiple“：[66]，”types“：/67]，”optimization“：[69]，“wase”：[70]，“applied”：[71]，“further”：[73]，“improve”：[74]，“performance”。“：[76]，”实验“：[77]，”结果“：[78]，”指示“：[79]，”那“：[80]，”我们的“：[81]，”有“：[83]，”杰出“：[84]，”成果。“：[85]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2756821303“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2018，”cited_by_count”：2}]，”更新日期“：”2024-09-24T09:36:03.626422“，”创建日期“：“2017-10-06”}