zbMATH中的参考文献（引用于，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. 《马塞洛的时钟》（Mattello，the clocks of the Mitches，Marcello，Mattello of the clocks）杂志（Mattello，the clocks of the Mitches）2020；马塞洛·皮耶尔尼（Mattello）的时钟初始化
5. Bohlender，Dimitri；Kowalewski，Stefan:利用Horn子句解决PLC软件的组合验证（2020）
6. Bromberger，Martin；Sturm，Thomas；Weidenbach，Christoph：线性整数求解的一种完整的终止方法（2020）
7. Drechsler，Rolf（编辑）；Soeken，Mathias（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
8. 芬克贝纳，伯恩德；哈恩，克里斯托弗；卢克特，菲利普；斯坦格，马文；坦特鲁普，利安德：从超属性合成（2020）
9. García Soto，Miriam；Prabhakar，Pavithra:基于抽象的多面体交换系统稳定性验证（2020）
10. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
11. Grastien，Alban；Scala，Enrico:CPCES：通过反例引导的优化来解决符合规划问题的规划框架（2020）
12. 黄成超；徐明；李志斌：一种基于冲突驱动的电力约束解决方法（2020）
13. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗曼；里涅茨基，诺姆：利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020年）
14. Kuwajima，Hiroshi；Yasuoka，Hirotoshi；Nakae，Toshihiro：机器学习系统中的工程问题（2020）
15. Lukšič，Žiga；Pretnar，Matija:局部代数效应理论（2020）
16. 尼尔森，弗莱明；尼尔森，汉恩·瑞斯：《安全防卫司令部》（2020）
17. 李嘉图，培尼亚：用Dafny证明红黑树（2020）
18. 秦旭东；Bliudze，Simon；Madelaine，Eric；侯泽晨；邓宇欣；张敏：基于SMT的符号自动机生成（2020）
19. Réda，Clémence；Wilczynski，Bartek:使用显式调控模块自动推断基因调控网络（2020年）
20. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）