｛“id”：“https://openalex.org/W1775468415“，”doi“：”https://doi.org/10.1007/978-3-540-70545-1_27“，”title“：”The Barcelogic SMT Solver“，”display_name“：”The Barcelogical SMT Soller“，”publication_year“：2008，”publiction_date“：”2008-08-12“，”ids“：{”openalex“：”https://openalex.org/W1775468415“，”doi“：”https://doi.org/10.1007/978-3-540-70545-1_27“，”mag“：”1775468415“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-70545-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_27.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_27.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5038978960“，”display_name“：”Miquel Bofill“，”orcid“：”https://orcid.org/0000-0003-0308-9867}，“机构”：[{“id”：https://openalex.org/I251424209“，”display_name“：”Girona大学“，”ror“：”https://ror.org/01xdxns91“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I251424209“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Miquel Bofill“，”raw _ afiliation_strings“：[“Girona大学”]，”affiliations“：[{”raw _affiliation_string“：”Girona高校“，”institution_ids“：[https://openalex.org/I251424209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5033002201“，”display_name“：”Robert Nieuwenhuis“，”orcid“：”https://orcid.org/0000-0002-6489-2138}，“机构”：[{“id”：https://openalex.org/I9617848“，”display_name“：”加泰罗尼亚理工大学“，”ror“：”https://ror.org/03mb6wj31“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I9617848“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Robert Nieuwenhuis“，”raw _ afiliation_strings“：[“巴塞罗那加泰罗尼亚科技大学”]，”affiliations“：[{”raw _affiliation_string“：”巴塞罗那卡泰罗尼亚技术大学“，”institution_ids“：[https://openalex.org/I9617848“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5087949614“，”display_name“：”Albert Oliveras“，”orcid“：”https://orcid.org/0000-0002-5893-1911}，“机构”：[{“id”：https://openalex.org/I9617848“，”display_name“：”加泰罗尼亚理工大学“，”ror“：”https://ror.org/03mb6wj31“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I9617848“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Albert Oliveras“，”raw _ afiliation_strings“：[“巴塞罗那加泰罗尼亚科技大学”]，”affiliations“：[{”raw _affiliation_string“：”巴塞罗那卡泰罗尼亚技术大学“，”institution_ids“：[https://openalex.org/I9617848“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5091244452“，”display_name“：”Enric Rodr\u00edguez-Carbonell“，”orcid“：”https://orcid.org/0000-0003-1061-3954}，“机构”：[{“id”：https://openalex.org/I9617848“，”display_name“：”加泰罗尼亚理工大学“，”ror“：”https://ror.org/03mb6wj31“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I9617848“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Enric Rodr\u00edguez-Carbonell“，”raw _ affiliation_strings“：[“巴塞罗那加泰罗尼亚理工大学”]，”affiliation“：[{”raw _affiliation_string“：”巴塞罗那卡泰罗尼亚技术大学“，”institution_ids“：]”https://openalex.org/I9617848“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5021913033“，”display_name“：”Albert Rubio“，”orcid“：”https://orcid.org/0000-0002-0001-9830}，“机构”：[{“id”：https://openalex.org/I9617848“，”display_name“：”加泰罗尼亚理工大学“，”ror“：”https://ror.org/03mb6wj31“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I9617848“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Albert Rubio“，”raw _ afiliation_strings“：[“巴塞罗那加泰罗尼亚科技大学”]，”affiliations“：[{”raw _affiliation_strong“：”巴塞罗那卡泰罗尼亚技术大学”，“institution_ids”：[“https://openalex.org/I9617848“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：10.176，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：73，”cited_by_percentle__年份”：｛“分钟”：96，“max“：97｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”294“，”last_page“：”298“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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.9994，“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.9972，“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/T10551“，”“display_name”：“制造系统中的调度问题”，“score”：0.9954，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.422979}]，“concepts”：[{“id”：“https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8583635}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.83089423}，{”id“：”https://openalex.org/C3019612716，“wikidata”：https://www.wikidata.org/wiki/Q730920“，”display_name“：”Problem solver“，”level“：2，”score“：0.63571376｝，｛”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.57043904}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5097684}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4715298}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40116787}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.33635914}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.33432662}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-70545-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_27.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-70545-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-70545-1_27.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.59，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：12，”referrenced_works“：[”https://openalex.org/W1488662850","https://openalex.org/W1500991862","https://openalex.org/W1518705996","https://openalex.org/W1548812055","https://openalex.org/W1586233612","https://openalex.org/W2022846948","https://openalex.org/W2114241070","https://openalex.org/W2125967324","https://openalex.org/W2126626789","https://openalex.org/W2138865396","https://openalex.org/W2142785340","https://openalex.org/W2159786179“]，”related_works“：[”https://openalex.org/W4296118853","https://openalex.org/W2791746724","https://openalex.org/W2491820882","https://openalex.org/W2423637923","https://openalex.org/W2163671349","https://openalex.org/W2105167013","https://openalex.org/W2080076943","https://openalex.org/W2011940952","https://openalex.org/W1775468415","https://openalex.org/W132623865“]，”ngrams_url“：”https://api.openalex.org/works/W1775468145/ngrams“，”“abstract_inverted_index”：{“This”：[0]，“is”：[1]，“the”：[2,7,22,41]，“first”：[3]，“system”：[4]，“description”：[5]，“of”：[6]，“Barcelogic”：[8]，“SMT”：[9,52]，“solver”：[10]，“which”：[11]，“implements”：[12]，“all”：[13]，“techniques”：[14]，“that”：[15,47]，“our”：[16]，“group”：[17]，“has”：[18]，“been”：[19]，“developing”：[20]，“over”：[21]，“last”：[23]，“four”：[24]，“年份”：[25]，“as”：[26,28]，“well”：[27]，“最先进”：[29]，“features”：[30]，“developed”：[31]，“by”：[32]，“other”：[33]，“research”：[34]，“groups”。“：[35]，“我们”：[36]，“支付”：[37]，“特殊”：[38]，“注意”：[39]，“到”：[40,45]，“理论”：[42]，“求解器”：[43]，“和”：[44]，“功能”：[46]，“是”：[48]，“不是”：[49]，“通用”：[50]，“in”：[51]，“解算器”。“：[53]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1775468415“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1'，{”“年份”“：2021，”“cited_by-count”“：4}，}”“年度”“：2020，”“引用_by_cont”“:3}，”“年份“2019，”年份“：2016，”引用by_count“：2}，{“年份”：2015，”引用by_count，{“年份”：2013，“引用_ by_count”：6}，{”年份“：2012，”引用_ by-count“：7}]，”更新日期“：“2024-06-26T12:51:05.499598”，“创建日期”：“2016-06-24”}