zbMATH参考文献（195篇文章引用）

1. 大卫·范布鲁克；古森，德里斯；舍恩伯格，约恩；瓜亚尔多，马里奥：一个三场分类和循环运动时间表统一数据格式（2020年）
2. Ngoko，Yanik；Cérin，Christophe；Trystram，Denis：在分布式云中解决SAT：投资组合方法（2019）
3. 程，西；周，民；宋，晓宇；顾，明；孙佳光：并行SMT解决：懒惰分解与调解（2018）
4. 黄，裴；马，菲菲；葛存菁；张健；张汉涛：通过可满足性检验研究大集幂等拟群的存在性（2018）
5. Marques Silva，Joao；Malik，Sharad：命题SAT解决（2018）
6. Balyo，Tomš；Lonsing，Florian:Hordeqbf:模块化和大规模并行QBF解算器（2016）
7. 哈马迪，尤瑟夫；贾布尔，萨伊德；赛斯，拉赫达尔：我们可以从命题满足性的冲突中学到什么（2016）
8. 李平科；金庆伟：关于双极性极大极小方程的求解。（2016年）
9. Triska，Markus:SWI prolog的布尔约束求解器（系统描述）（2016）
10. 张汉涛：可满足性模SAT实验（2016）
11. Biere，Armin；Fröhlich，Andreas:评估CDCL可变评分方案（2015）
12. Hyvärinen，Antti E.J.；Marescotti，Matteo；Sharygina，Natasha:并行化SMT解算器的搜索空间划分（2015）
13. Ahmed，Tanbir；Kullmann，Oliver；Snevily，Hunter:论范德瓦尔登数（\mathrmw（2；3，t））（2014）
14. 克拉克•巴雷特；摩根•德斯特尔斯；莱昂纳多•德莫拉；艾伯特•奥利维拉；艾伦•斯顿普：6年SMT-COMP（2013年）ioport公司
15. Kinyon，Michael；Veroff，Robert；Vojtěchovský，Petr:abelian内映射群的循环：自动演绎的应用（2013）
16. 张汉涛；张健：MACE4和SEM：有限模型发生器的比较（2013）
17. 哈马迪，尤瑟夫；贾布尔，萨伊德；萨伊斯，拉赫达尔：从命题满足性的冲突中学习（2012）
18. Martins，Ruben；Manquinho，Vasco；Lynce，Inès:并行SAT解决概述（2012）
19. Triska，Markus；Musliu，Nysret：针对社会高尔夫球手问题的改进SAT公式（2012）
20. 马丁·格布瑟；本杰明·考夫曼；罗兰·卡明斯基；马克斯·奥斯特罗夫斯基；肖布、托尔斯滕；施耐德、马吕斯：Potasco：波茨坦答案集解题集（2011）