ZBMaCT中的参考文献（177篇文章中引用）

1. 巴博萨，汉尼尔；Blanchette，Jasmin Christian；Fleury，马蒂亚斯；方丹，Pascal：公式处理的可伸缩细粒度证明（2020）
2. 布赖特，柯蒂斯；Kotsireas，Ilias；GANSIH，Vijay:将计算机代数系统与SAT求解器应用于威廉姆森猜想（2020）
3. Davenport，James H.；英国，马修；Grigio，阿尔伯托；斯特姆，托马斯；Tinelli，Case:符号计算和可满足性检查（2020）
4. 英国，马修；布拉德福德，罗素；Davenport，James H.：带等式约束的柱面代数分解（2020）
5. Kremer，Gereon；BraaHm，埃里卡：完全增量柱面代数分解（2020）
6. Sebastiani，罗伯托；Trentin，帕特里克：TrimeStuffTimaTaSAT：最优化模论的工具（2020）
7. Amadini，罗伯托；安德隆，麦克；Gange，格雷姆；沙希特，彼得；S NordGARD，哈拉尔德；Stuckey，Stuckey：JavaScript动态符号执行的约束编程（2019）
8. 巴博萨，汉尼尔；雷诺兹，安得烈；El Uououi，丹尼尔；Tinelli，CasARE；巴雷特，克拉克：扩展SMT求解器到高阶逻辑（2019）
9. BueNo，丹尼斯；Sakallah，Karem A.：EUFROIA:完整的软件模型检查与未解释的功能（2019）
10. 巴巴拉，Nekkordn，Maxime；NoLTE，丹尼斯：核心：通过SAT/SMT求解器计算核心图的工具（2019）
11. 尼米茨，Aina；Preiner，马蒂亚斯；雷诺兹，安得烈；ZoHar，Yoni；巴雷特，Po.；，CasRe:指向SMT求解器中的比特宽度独立证明（2019）
12. 雷格，吉尔斯；Voronkov，安德列：基于饱和的证明搜索中的归纳（2019）
13. 舒尔茨，Stephan；Curnes，西蒙；VumimiRVi，PATAR：更快，更高，更强：E 2.3（2019）
14. Trentin，帕特里克；Sebastiani，罗伯托：浮点数理论的最优化模（2019）
15. Bansal，Kshitij；巴雷特，克拉克；雷诺兹，安得烈；Tinelli，CeSARE：SMT（2018）中的有限集推理和基数约束
16. 巴雷特，克拉克；Tinelli，CeSEAR:可满足性模理论（2018）
17. Blanchette，Jasmin Christian；Peltier，尼古拉斯；罗比拉德，西蒙：用数据类型和协数据类型叠加（2018）
18. 布兰德尔、弗洛里安、勃兰特、菲利克斯、Eberl、曼努埃尔、盖斯特、克里斯汀：通过SMT求解证明效率与战略不相容的不相容性（2018）
19. 卡德里耶，拉斐尔：Meta DeDukTI的策略和证书（2018）
20. Echenim，Mnacho；Peltier，尼古拉斯；Sellami，YANIS：蕴涵的生成模理论的通用框架（2018）