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

1. 李，Chu Min；萧，范；罗，毛；多个，Felip；Luu，Zhipeng；李，Fi:CdCl SAT求解器中单位传播的子句化（2020）
2. Abd El Maksoud，Munira A.；Abdalla，A瑞格：Van der Waerden数的一种新的SAT求解器（2019）
3. Banbara，Mutsunori；Inoue，KoMuMi；考夫曼，本杰明；Okimoto，腾达；Suab，TrStand；索赫，TueTu皮；Tamura，Naoyuki；WangKo，Philipp：TaspPON：用回答集编程解决基于课程的排课问题（2019）
4. Breik，基南；Tas丘克，克里斯；休尔，Mijjn；Soloveichik，戴维：热力学结合网络稳定构型的计算性质（2019）
5. 卡尔，Sven，J，Sujtand，SuuChER，曼弗雷德：正交对称链分解（2019）
6. 德努亚，迭戈；Gange，格雷姆；沙希特，彼得；斯塔基，Peter J.：将CP子问题编译成MDDS和D-DNNFS（2019）
7. 费希特，Johannes K.；Kronegger，马丁；Woltran，斯特凡：回答集编程的多参数视图（2019）
8. H.O.I.I.，Pasalic，E；ChutopADHay.，A.：指数生成函数线性分解的迭代方法（2019）
9. 简·K·K，帕维尔；Koffro，J.；ALT，列奥纳多；费德科维奇，格里高利；Hyv.Surrink，Antti E. J.；Surigina，娜塔莎：利用基于插值的模型检验中的部分变量赋值（2019）
10. Kalpi-Ski-SKi，Piotr·米莎，马立克：用多路合并选择网络编码基数约束（2019）
11. 李，Jianwen；朱，Shufang；PU，Geguang；张，李军；VADI，Moshe Y.：基于SAT的显性LTL推理及其在可满足性检验中的应用（2019）
12. 王，闻喜；S·Nordar，哈拉尔德；Stuckey，Peter J.：WouBIT：使用字级传播的组合比特向量求解器（2019）
13. 查，鳌龙；Koshimura，MyyKi；FujITa，Hiroshi：（n）-模模CNF编码的McSAT伪布尔约束（2019）
14. Alviano，马里奥；多达罗，卡迈恩；马拉泰阿，马珂：回答集编程中的共享集合集（2018）
15. Ivana，评价最小不满足子集的域不可知方法的评价（2018）
16. Biere，Armin；Kr Off宁，丹尼尔：基于SAT的模型检验（2018）
17. Blanchette，Jasmin Christian；Fleury，马蒂亚斯；Lammich，彼得；WeidBaCH，克里斯托夫：一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量（2018）
18. 切鲁蒂，费德里克；瓦拉蒂，毛罗；Giacomin，马西米利亚诺：论配置对抽象论证自动化推理的影响（2018）
19. 程，奚；周，闽；宋，Xiaoyu；顾，明；孙，夹谷昂：并行化SMT求解：懒惰分解与调和（2018）
20. de Nivelle，HANS：三值几何分辨率的包容算法（2018）