zbMATH中的参考文献（参考文献196篇)

1. 范布鲁克，大卫；鸡汤，干面包；附表ö恩伯格，Jö注册护士；马里奥，瓜亚尔多：RobinX：一种用于循环运动时间表的三场分类和统一数据格式（2020）
2. 黄、裴；刘明浩；葛存菁；妈妈，菲菲；张健：通过可满足性检验研究正交高尔夫设计的存在性（2019）
3. 恩戈科，亚尼克；Cé林，克里斯托夫；Denis Trystram：在分布式云中解决SAT：投资组合方法（2019）
4. 程曦；周敏；宋晓宇；顾明；孙佳光：并行化SMT解决：懒惰分解与调解（2018）
5. 黄、裴；妈妈，菲菲；葛存菁；张健；张汉涛：通过可满足性检验研究大集合幂等拟群的存在性（2018）
6. 席尔瓦侯爵，乔奥；Malik，Sharad：命题SAT解决（2018）
7. 你好，汤姆áš; Florian Lonsing:Hordeqbf:模块化大规模并行QBF解算器（2016）
8. 哈马迪，优素福；南卡罗来纳州贾布尔ïd；南非ïs、 Lakhdar:我们可以从命题满足性的冲突中学到什么（2016）
9. 李平科；金庆伟：关于双极性极大极小方程组的求解(2016年）
10. Triska，Markus:SWI prolog的布尔约束求解器（系统描述）（2016）
11. 张汉涛：可满足性模SAT实验（2016）
12. 贝尔，阿明；法国öhlich，Andreas：评估CDCL可变评分方案（2015年）
13. Hyv公司ä里宁，安蒂E。J、 。；马雷斯科蒂，马蒂奥；Sharygina，Natasha:并行化SMT解算器的搜索空间划分（2015）
14. 艾哈迈德，坦比尔；奥利弗·库尔曼；斯内维尔，亨特：关于范德瓦尔登数（\mathrmw（2；（2014年）
15. 巴雷特，克拉克；威慑，摩根；德穆拉，莱昂纳多；奥利维拉斯，阿尔伯特；Stump，Aaron:6年SMT-COMP（2013年）ioport公司
16. 基尼恩，迈克尔；贝罗夫，罗伯特；伏伊特ě乔夫斯克ý, Petr:带阿贝尔内映射群的循环：自动演绎的应用（2013）
17. 张汉涛；张健：MACE4和SEM：有限模型发生器的比较（2013）
18. 哈马迪，优素福；南卡罗来纳州贾布尔ïd；南非ïs、 拉赫达尔：从命题可满足性的冲突中学习（2012）
19. 马丁斯，鲁本；曼奎诺，瓦斯科；林奇，印第安纳州ês： 并行SAT求解综述（2012）
20. 特里斯卡，马库斯；Musliu，Nysret：针对社会高尔夫球手问题的改进SAT公式（2012）