zbMATH中的参考文献（引用于 496篇文章，1标准件)

1. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
2. Bayless，Sam；Kodirov，Nodir；Iqbal，Syed M.；Beschatnikh，Ivan；Hoos，Holger H.；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020年）
3. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
4. Bersani，Marcello M.；Rossi，Matteo；San Pietro，Pierluigi:关于定时形式时钟的初始化（2020）
5. Bohlender，Dimitri；Kowalewski，Stefan:利用Horn子句解决PLC软件的组合验证（2020）
6. Bromberger，Martin；Sturm，Thomas；Weidenbach，Christoph：线性整数求解的一种完整的终止方法（2020）
7. Champion，Adrien；千叶，Tomoya；Kobayashi，Naoki；Sato，Ryosuke：高阶功能程序的基于冰的改进型发现（2020）
8. Chen，Qian Matteo；Finzi，Alberto；Mancini，Toni；Melatti，Igor；Tronci，Enrico:MILP、伪布尔和OMT解算器，用于关键无线网络中中继节点的最佳容错配置（2020年）
9. Drechsler，Rolf（编辑）；Soeken，Mathias（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
10. 芬克贝纳，伯恩德；哈恩，克里斯托弗；卢克特，菲利普；斯坦格，马文；坦特鲁普，利安德：从超属性合成（2020）
11. García Soto，Miriam；Prabhakar，Pavithra:基于抽象的多面体交换系统稳定性验证（2020）
12. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
13. Grastien，Alban；Scala，Enrico:CPCES：通过反例引导的优化来解决符合规划问题的规划框架（2020）
14. Hajdu，Ákos；Micskei，Zoltán:基于CEGAR的模型检查的有效策略（2020年）
15. 黄成超；徐明；李志斌：一种基于冲突驱动的电力约束解决方法（2020）
16. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗曼；里涅茨基，诺姆：利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020年）
17. Izmirlioglu，Yusuf；Erdem，Esra:使用答案集编程对三维扩展对象之间的基本方向进行推理（2020）
18. Kuwajima，Hiroshi；Yasuoka，Hirotoshi；Nakae，Toshihiro：机器学习系统中的工程问题（2020）
19. Lukšič，Žiga；Pretnar，Matija:局部代数效应理论（2020）
20. 基于Daniel Praunda的验证方法；基于Daniel-Prauda-Park的不完整验证方法；基于Daniel-Prauda-Park的不完整验证方法