{“id”：“https://openalex.org/W1513294700“，”doi“：”https://doi.org/10.1007/978-3-540-85110-3_11“，”title“：“通过随机搜索解决网格中SAT的策略”，“display_name”：“通过随机化搜索解决网格SAT的战略”，“publication_year”：2008，“publiation_date”：“2008-07-26”，“ids”：{“openalex”：“https://openalex.org/W1513294700“，”doi“：”https://doi.org/10.1007/978-3-540-85110-3_11“，”mag“：”1513294700“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-85110-3_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：网址：http://www.tcs.hut.fi/~aehyvari/paperss/hyvarinen-junttila-niemela.aisc08.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5077642459“，”display_name“：”Antti E.J.Hyv\u00e4rinen“，”orcid“：”https://orcid.org/0000-0001-6672-5109“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Antti E.J.Hyv\u00e4rinen“，”raw _ afiliation_strings“：[”赫尔辛基理工大学信息与计算机科学系TKK，“]，”从属关系“：[{”raw _affiliation_string“：”赫尔辛基理工大学TKK信息与计算机科学系，“，”institution_ids“：[]}]}，{“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_string“：[”赫尔辛基理工大学信息与计算机科学系TKK“]，”affiliations“：赫尔辛基理工大学TKK信息与计算机科学系，“，”institution_ids“：[]}]}，{“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”：[“赫尔辛基理工大学信息与计算机科学系TKK，”]，“affiliations”：[{“raw_affiliation_string”：“”赫尔辛基理工大学TKK信息与计算机科学系，“，”institution_ids“：[]}]}]，“countries_distiction_count”：0，“institutions_distinct_count“：0，”corresponding_author_ids”：[]，“correspounding_institution_ids”：[[]，“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：4.625，“”has_fulltext“：false，”cited_by_count“：12，”cited_by_percentile_year“：{”min“：86，”max“：87}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”125“，”last_page“：”140“}，“is_retracted”：false“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“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.9991，“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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9991，“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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9973，”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/random-satifiability（https://openalex.org/keywords/random-satifiability）“，”display_name“：”随机可满足性“，”score“：0.561507}，{”id“：”https://openalex.org/keywords/constraint-optimization网站“，”display_name“：”Constraint Optimization“，”score“：0.512594｝，｛”id“：”https://openalex.org/keywords/linear编程“，”display_name“：”线性规划“，”score“：0.505508｝，｛”id“：”https://openalex.org/keywords/approximaton-algorithms（https://openalex.org/keywords/approximaton-algorithms）“，”display_name“：”近似算法“，”score“：0.502785}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.85237586}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.767843}，{”id“：”https://openalex.org/C68339613，“wikidata”：https://www.wikidata.org/wiki/Q1549489“，”display_name“：”Speedup“，”level“：2，”score“：0.7323601}，{”id“：”https://openalex.org/C187691185，“wikidata”：https://www.wikidata.org/wiki/Q2020720“，”display_name“：”Grid“，”level“：2，”score“：0.7237894}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.64264977}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.54318345}，{”id“：”https://openalex.org/C2781172179，“wikidata”：https://www.wikidata.org/wiki/Q853109“，”display_name“：”并行（语法）“，”level“：2，”score“：0.5392543}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.5144289}，{”id“：”https://openalex.org/C68387754，“wikidata”：https://www.wikidata.org/wiki/Q7271585“，”display_name“：”Schedule“，”level“：2，”score“：0.5057733}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32198715}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.10765436}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0782364}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-85110-3_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.8484，“pdf_url”：网址：http://www.tcs.hut.fi/~aehyvari/papers/hyvarinen-junttila-niemela.aisc08.pdf“，”来源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.8484，“pdf_url”：网址：http://www.tcs.hut.fi/~aehyvari/papers/hyvarinen-junttila-niemela.aisc08.pdf“，”来源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：16，“referrenced_works”：]”https://openalex.org/W1493980144","https://openalex.org/W1518705996","https://openalex.org/W1732358269","https://openalex.org/W1845402743","https://openalex.org/W1983758948","https://openalex.org/W2046612382","https://openalex.org/W2069474356","https://openalex.org/W2079547519","https://openalex.org/W2092775861","https://openalex.org/W2094855848","https://openalex.org/W2095709533","https://openalex.org/W2109117475","https://openalex.org/W2130403783","https://openalex.org/W2552070334","https://openalex.org/W2561675875","https://openalex.org/W2914775474“]，”related_works“：[”https://openalex.org/W4386614288","https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2920896101","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W21597398","https://openalex.org/W2115480761","https://openalex.org/W2091617677","https://openalex.org/W1913543287“]，”ngrams_url“：”https://api.openalex.org/works/W1513294700/ngrams网站“，”“abstract_inverted_index”：{“Grid”：[0]，“computing”：[1]，“offers”：[2]，“a”：[3,16,42,48,56,64,78,84,89100106118141]，“有希望”：[4]，“approach”：[5]，“to”：[6140147]，“solving”：[7,3010515]，“challengesting”：[8]，“calculatived”：[9]，“problems”：[10]，“in”：[11,47,99115]，“an”：[12169]，“environment”：[13]，“组成”：[14]，““：[15,19,32,35,62,77,91122144150154]，”大“：[17]，”数字“：[18]，”容易“：[20]，”可访问“：[21]，”资源。“：[22]，”In“：[23]，”this“：[24]，”paper“：[25]，”we“：[26]，”develop“：/27]，”strategies“：[28,53]，”for“：[29]，”collections“：[31149]，”hard“：[33,92108151]，”instances“：=34156]，”the“：[36,6811128158163]，”propostial“：[37]，”satisfility“：[38]，”问题“：[39]，”（SAT）“：[40]，”with“：[41]，“随机化”：[43,79]，“SAT”：[44,86109]，“求解器”：[45,87]，“运行”：[46]，“网格。“：[49103]，”We“：[50]，”study“：[51]，”alternative“：[22]，”by“：[54,82131167]，”using“：[55145]，”simulation“：[57]，”framework“：58]，”which“：[59]，”is“：[60135]，”composited“：[61]，”（i）“：[63]，”grid“：[65146]，”model“：[66]，”capturing“:[67]，”communication“：/69]，”and“：[70,73]，”management“”：[71]，“延迟”，：[72]，“（ii）”：[74]，“运行时”：[75]，“分发”：[76]，“解算器，“：[80]，”获取“：[81130]，”运行“：[83]，”最新“：[85]，”打开“：[88]，”集合“：[90]，”实例。“：[93152]，”The“：[94]，”results“：[95112]，”are“：[96]，”experimental“：[97]，”validated“：98]，”production“：[101]，”level“：[102]，”When“：[104]，”single“：/107]，”instance“：[110]，”show“：[113]，”that“：[114]，”practice“：[116]，”only“：[117]，”relative“：[119]，”small“：[120]，”amount“：121]，”parallelismallely“：[123133]，“可以”：[124]，“被”：[125]，“有效”：[126]，“使用；“：[127]，”加速“：[129]，”增加“：[132]，”此后“：[134]，”可忽略不计。“：[136]，”This“：[137]，”observation“：[138]，”leads“：[139]，”novel“：[142]，”strategy“：[143159]，”solve“：[148]，”Israge“：[153]，”one-by-one“，”：[157]，”aims“：[160]，”at“：[161]，”decreating“：[162]，”overall“：[164]，”solution“：/165]，”time“:166]，”application“：[168]，”alternative“：%170]，”distribution“：171]，”时间表。“：[172]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1513294700“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-06-23T16:33:15.081935“，”创建日期“：“2016-06-24”}