发布文献求助

Navigating the Universe of Z3 Theory Solvers

计算机科学回调函数模块化设计不相交集解算器问题解决者程序设计语言可满足模理论理论计算机科学建筑接口（物质）主题（计算）域代数上的国际商用机器公司证明理论宇宙

作者

Nikolaj Bjørner,Lev Nachmanson

出处

期刊：Lecture Notes in Computer Science [Springer Science+Business Media]
日期：2020-01-01 卷期号：: 8-24 被引量：12

标识

DOI：10.1007/978-3-030-63882-5_2

求助该文献

最长约 10秒，即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: xuan完成签到，获得积分10

刚刚; 情怀的应助被驰骋采纳，获得10

刚刚; 科研通AI6.2上传了应助文件

1秒前; 希望天下0贩的0上传了应助文件

1秒前; 烟花的应助被berg采纳，获得10

2秒前; 共享精神上传了应助文件

2秒前; 研友_VZG7GZ的应助被olso采纳，获得10

3秒前; 半壶月色半边天完成签到，获得积分10

3秒前; 星辰大海的应助被竹萧采纳，获得10

4秒前; 李健的小迷弟的应助被许未采纳，获得10

6秒前; 科研通AI6.2上传了应助文件

6秒前; junyang发布了新的文献求助10

6秒前; luis发布了新的文献求助10

6秒前; wwww上传了应助文件

7秒前; 啦啦啦啦啦完成签到，获得积分10

7秒前; aaaa上传了应助文件

7秒前; 小蘑菇上传了应助文件

7秒前; 香蕉觅云上传了应助文件

10秒前; FashionBoy上传了应助文件

11秒前; 酷波er上传了应助文件

11秒前; freebird完成签到，获得积分10

12秒前; Popcorn发布了新的文献求助30

12秒前; zjj的应助被嘟噜采纳，获得30

13秒前; 火星上的访风完成签到，获得积分10

13秒前; 落雪慕卿颜发布了新的文献求助10

13秒前; May发布了新的文献求助10

13秒前; 情怀上传了应助文件

13秒前; 黄橙橙完成签到，获得积分10

13秒前; 科研通AI6.2上传了应助文件

14秒前; Car66614上传了应助文件

16秒前; Juvenilesy的应助被芒果豆豆采纳，获得10

16秒前; 科研通AI6.2上传了应助文件

16秒前; 可言鳕鱼发布了新的文献求助10

16秒前; sh发布了新的文献求助10

16秒前; 心灵美懿轩完成签到，获得积分10

17秒前; 驰骋发布了新的文献求助10

17秒前; 糖醋鱼发布了新的文献求助10

17秒前; cccc发布了新的文献求助10

19秒前; 打打的应助被火星上的访风采纳，获得10

19秒前; CipherSage的应助被LcnTCM采纳，获得20

19秒前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Autoparametric Resonance in Mechanical Systems 1000; Effects of Two Weeks of Red Light Therapy on Choroidal Thickness and Axial Length in Young Adults 700; Cosmos as Art Object: Studies in Plato's Timaeus and Other Dialogues 600; Management and the Arts 510; Matrix Methods in Data Mining and Pattern Recognition Second Edition 510; Rutherford's Vascular Surgery and Endovascular Therapy, 2‑Volume Set, 11th Edition 480

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 7665622; 求助须知：如何正确求助？哪些是违规求助？ 9235503; 关于积分的说明 19874024; 捐赠科研通 7234727; 什么是DOI，文献DOI怎么找？ 3283560; 关于科研通互助平台的介绍 2442341; 邀请新用户注册赠送积分活动 2284690

今日热心研友

学术文献互助

无奈的梦凡

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通