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

1. Amadini，罗伯托；安德隆，麦克；Gange，格雷姆；沙希特，彼得；S NordGARD，哈拉尔德；Stuckey，Stuckey：JavaScript动态符号执行的约束编程（2019）
2. BueNo，丹尼斯；Sakallah，Karem A.：EUFROIA:完整的软件模型检查与未解释的功能（2019）
3. 巴巴拉，Nekkordn，Maxime；NoLTE，丹尼斯：核心：通过SAT/SMT求解器计算核心图的工具（2019）
4. Bansal，Kshitij；巴雷特，克拉克；雷诺兹，安得烈；Tinelli，CeSARE：SMT（2018）中的有限集推理和基数约束
5. 巴雷特，克拉克；Tinelli，CeSEAR:可满足性模理论（2018）
6. Blanchette，Jasmin Christian；Peltier，尼古拉斯；罗比拉德，西蒙：用数据类型和协数据类型叠加（2018）
7. 布兰德尔、弗洛里安、勃兰特、菲利克斯、Eberl、曼努埃尔、盖斯特、克里斯汀：通过SMT求解证明效率与战略不相容的不相容性（2018）
8. 卡德里耶，拉斐尔：Meta DeDukTI的策略和证书（2018）
9. Echenim，Mnacho；Peltier，尼古拉斯；Sellami，YANIS：蕴涵的生成模理论的通用框架（2018）
10. Gleiss，伯恩哈德；KoaCCS，劳拉；Rabialdand西蒙：迭代迭代的量化分析（2018）
11. Gupta，Subhani；SaxENA，Aseem；Mahajan，Anmol；BaSAL，SoRava:有效地使用SMT求解器通过不变草图和查询分解进行程序等价性检查（2018）
12. 洪，胡恩；斯特姆，托马斯：有符号参数多项式不等式组的正解（2018）
13. 巴巴拉，Nekkordn，Maxime；NoLTE，丹尼斯：核心：通过SAT/SMT求解器计算核心图的工具（2018）
14. Kotelnikov，Evgenii；Koa'cs，劳拉；Voronkov，安德列：命令程序下一个状态关系的愚蠢编码（2018）
15. Kremer，Gereon；Braaam，埃里卡：用TBEBFSMT RAT解决模块化战略SMT（2018）
16. 劳科，亨里奇；罗凯，彼得；巴纳特，姬：程序转换符号计算（2018）
17. Niewiadomski，阿图尔；Switalski，Piotr；SIDORUK，Teofil；PunZek，WojiCe:SMT求解器：编码和解决NP和ExpTimes中的选择问题（2018）
18. Or麟，James B.；Subramani，K.；WojiCioWoKi，PIOTR：寻找网络中最短负成本循环的随机化算法（2018）
19. 雷诺兹，安得烈；Viswanathan，阿尔俊；巴博萨，汉尼尔；Tinelli，塞萨雷；巴雷特，克拉克：共有选择器（2018）
20. Vale安立奎，费尔南多；布朗，Christopher W.：Trac-ScTalkScript中的多项式约束和UNSAT核（2018）