{“id”：“https://openalex.org/W1886978684“，”doi“：”https://doi.org/10.1007/3-540-49519-3_4“，”title“：”求解位向量方程“，”display_name“：”求解位向量方程“，”publication_year“：1998，”publication_date“：”1998-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1886978684“，”doi“：”https://doi.org/10.1007/3-540-49519-3_4“，”mag“：”1886978684“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-49519-3_4“，”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、”is_core“：true、”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5056272923“，”display_name“：”Marianne M\u00f8ller“，”orcid“：”https://orcid.org/0000-0001-5669-6383“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”M.Oliver M\u00f6ller“，”raw_affiliation_strings“：[”大学\u00e5rhus“]，”affiliations“：[{”raw_affiliation_string“：”大学\u 00e5ghus“，”institution_ids“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5103376875“，”display_name“：”Harald Rue\u00df“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Harald Rue\u00df“，”raw _ afiliation_strings“：[“SRI国际计算机科学”]，”affiliations“：[{”raw_ afiliation _string“：”SRI国际计算科学“，”institution_ids“：[https://openalex.org/I1298353152“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：1.256，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：87，“最大”：88}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”36“，”last_page“：”48“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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.9995，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9951，“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/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.9892，“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/accuracy-guaranteed-bit-width-optimization网站“，”display_name“：”准确保证位宽优化“，”score“：0.487487}]，”concepts“：[{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.7317516}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.676792}，{”id“：”https://openalex.org/C204241405，“wikidata”：https://www.wikidata.org/wiki/Q461499“，”display_name“：”Transformation（genetics）“，”level“：3，”score“：0.5999004}，{”id“：”https://openalex.org/C11711727，“wikidata”：https://www.wikidata.org/wiki/Q1278488“，”display_name“：”Bit（key）“，”level“：2，”score“：0.51630014}，{”id“：”https://openalex.org/C94523830，“wikidata”：https://www.wikidata.org/wiki/Q11203“，”display_name“：”线性方程组“，”level“：2，”score“：0.4779482}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.37732846}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3704347}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35478884}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.267696}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.11811641}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”Biochemistry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”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/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-49519-3_4“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：8，“referenced_works“：[”https://openalex.org/W1498875780","https://openalex.org/W1546619436","https://openalex.org/W1546860696","https://openalex.org/W1873964603","https://openalex.org/W1886978684","https://openalex.org/W1996539580","https://openalex.org/W2030670832","https://openalex.org/W4241234198“]，”related_works“：[”https://openalex.org/W4381186982","https://openalex.org/W4285347720网址","https://openalex.org/W4226055750","https://openalex.org/W4200259850","https://openalex.org/W2484894494网址","https://openalex.org/W2411923897","https://openalex.org/W2367385042","https://openalex.org/W2333831899","https://openalex.org/W2040781570","https://openalex.org/W1983331834网址“]，”ngrams_url“：”https://api.openalex.org/works/W1886978684/ngrams“，”“abstract_inverted_index”：{“This”：[0,35]，“paper”：[1]，“is”：[2]，“concerned”：[3]，“with”：[4,43]，“solving”：[5,21]，“equations”：[6,22]，“on”：[7,23,62]，“fixed”：[8]，“and”：[9,30,48]，“non-fixed“：[10]，”“size”：[11,47]，“bit-vector”：[12]，“terms.”：[13]，“We”：%14]，“define”：[15]，“an”：[16]，“equational”：[17]，“transformation”：[18,36]，“system”：[19,37]，“for”：[20,41]术语“：[24]，”其中“：[25]，”全部“：[26]，”大小“：[27]，”的“：[28,45,58]，”位向量“：[29,44]，”提取“：[31,50]，”位置“：[32]，”是“：[33]，”已知。“：[34]，”建议“：[38]，”a“：[39]，”概括“：[40]，”交易“：[42]，”未知“：[46,49]，”位置。“：[51]，”Both“：[52]，”solvers“：[53]，”access“：[54]，”to“：[55]，”the“：[56]，”principal“：[57]，”spliting“：[59]，”bitvectors“：[60]，”only“：[61]，”demand“：[63]，”there“：[64]，”making“：[65]，”them“：[66]，”quite“：[67]，”effectived“：68]，”in“：[69]，”practice。“：[70]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1886978684“，”counts_by_year“：[{”year“:2020，”cited_by_count“：1}，{”year“：2016，”cited_by_count”：1}，{“year”：2013，”citecd_by_count“：1}]，”updated_date“：”2024-07-30T01:35:27.335526“，”created_dates“：”2016-06-24“}