ZBMaX中的参考文献（471篇）1标准条款）

1. 巴博萨，汉尼尔；Blanchette，Jasmin Christian；Fleury，马蒂亚斯；方丹，Pascal：公式处理的可伸缩细粒度证明（2020）
2. 贝利斯，山姆；KodiROV，Nodir；IQBAL，Syed M.；BasChistNykh，伊凡；HoOS，Holger H.；胡，Alan J.：可扩展的基于约束的虚拟数据中心分配（2020）
3. 克里斯托夫，史葛，Dana S.：HOL自动化自由逻辑，范畴理论的实验应用（2020）
4. Bersani，Marcello M.；罗西，Matteo；圣彼得罗，皮埃尔路易吉：计时形式主义中时钟的初始化（2020）
5. BoeLever，迪米特里；Kowalewski，斯特凡：利用Help子句求解PLC软件的组合验证（2020）
6. Bromberger，马丁；斯特姆，托马斯；魏登巴赫，克里斯托夫：一个完整的和终止的线性整数求解方法（2020）
7. Finkbeiner，贝尔恩德；哈恩，克里斯托弗；Lukert，菲利普；斯滕格，马尔文；Tentrup，莱安德：从超属性合成（2020）
8. Garc·A·索托，米里亚姆；Prabhakar，Pavitha：基于多面体交换系统稳定性的抽象验证（2020）
9. 黄，程超；徐，明；李，Zhi Bin：多约束条件下冲突驱动的求解过程（2020）
10. 佩尼亚，李嘉图：使用DAFNY（2020）对红黑树的断言证明
11. Sebastiani，罗伯托；Trentin，帕特里克：TrimeStuffTimaTaSAT：最优化模论的工具（2020）
12. 塞梅诺夫，亚力山大；奥普申尼科夫，伊利亚；Gribanova，伊琳娜；扎金，奥列格；Kochemazov，斯特潘：SAT离散函数算法描述的翻译和密码分析问题的应用（2020）
13. 张，南；段，Zhenhua；田，康镇；杜，Hongwei：一种验证程序上下文无关性质的新方法（2020）
14. Allamigeon，沙维尔；卡茨，Ricardo D.：基于单纯形法的凸多面体的形式化（2019）
15. Amadini，罗伯托；安德隆，麦克；Gange，格雷姆；沙希特，彼得；S NordGARD，哈拉尔德；Stuckey，Stuckey：JavaScript动态符号执行的约束编程（2019）
16. APT，Krzysztof R.；奥德罗格，厄恩斯特罗伊迪格尔：霍尔逻辑五十年（2019）
17. Bentkamp，亚力山大；布兰切特，Jasmin Christian；克拉科夫，迪特里希：深度学习表现力的形式证明（2019）
18. 贝松，Fr.E.DeeRic；Brasy，Sandrine；Wikk，彼埃尔：一个支持指针算法和未初始化数据的内存模型验证的前端（2019）
19. 光明，柯蒂斯；Okovii，Dragomir〉；Kotsireas，Ilias；GANSIH，Vijay:组合搜索的SAT+CAS方法及其在最佳矩阵中的应用（2019）
20. Bromberger，马丁；Fleury，马蒂亚斯；施瓦茨，西蒙；韦登巴赫，克里斯托夫：SPASS-SATT。CDCL（LA）求解器（2019）