zbMATH中的参考文献（参考文献41条,1标准件)

1. JDáMúM；霍佐娃，佩特拉；科瓦茨，劳拉；肖斯沃尔，约翰内斯；Voronkov，Andrei:叠加推理中的归纳与泛化（2020）
2. 艾哈迈德·巴亚特；Reger，Giles:受限组合统一（2019）
3. 博拉雷拉斯，克里斯蒂娜；拉拉兹，丹尼尔；罗德里格斯·卡博内尔，恩里克；奥利维拉斯，阿尔伯特；Rubio，Albert:求解整数上非线性公式的不完全SMT技术（2019）
4. 普利纳，卢卡；Seidl，Martina:2016年和2017年QBF solvers评估（QBFEVAL'16和QBFEVAL'17）（2019年）
5. 罗森，迈克尔；雷格，贾尔斯：旧的还是重的？随着年龄/体重形状优雅地衰退（2019年）
6. 雷格，吉尔斯；里纳，马丁；Suda，Martin:MACE式有限模型发现中的对称避免（2019）
7. 雷格，吉尔斯；Voronkov，Andrei:基于饱和的证据搜索中的归纳法（2019）
8. 雷诺兹，安德鲁；昆卡，维克托；蒂内利，塞萨尔；巴雷特，克拉克；Deters，Morgan:SMT中基于反驳的合成（2019）
9. 舒尔茨，斯蒂芬；克鲁恩斯，西蒙；Vukmirović，Petar：更快、更高、更强：E2.3（2019年）
10. 本特坎普，亚历山大；布兰切特，贾斯敏·克里斯蒂安；克鲁恩斯，西蒙；Waldmann，Uwe:（\lambda）-自由高阶逻辑的叠加（2018）
11. 广川，脑；纳格尔，朱利安；米德尔多普，Aart:Cops和CoCoWeb:infrastructure for confluence tools（2018年）
12. 科特尔尼科夫，叶夫根尼；科瓦茨，劳拉；沃龙科夫，安德烈：命令式项目的下一个国家关系的愚蠢编码（2018）
13. 梁家辉；哦，钱塞；马修，米努；托马斯，西扎；李春晓；Ganesh，Vijay:CDCL SAT solvers基于机器学习的重启策略（2018）
14. 雷诺兹，安德鲁；维斯瓦纳坦，阿琼；巴博萨，哈尼尔；蒂内利，塞萨尔；Barrett，Clark:具有共享选择器的数据类型（2018）
15. 萨特克利夫：第九届IJCAR自动定理证明系统大赛——CASC-J9（2018）
16. 阿鲁尔，拉吉耶夫；拉德哈基什纳，阿琼；Udupa，Abhishek:Scaling enumerative program synthesis via divide and Conquest（2017年），阿布舍克大学（Abhishek）：通过分而治之的缩放枚举程序综合（2017年）
17. 博拉雷拉斯，克里斯蒂娜；布罗克施密特，马克；拉拉兹，丹尼尔；奥利维拉斯，阿尔伯特；罗德里格斯·卡博内尔，恩里克；Rubio，Albert：《通过有条件终止证明终止》（2017）
18. 格雷斯，伯恩哈德；科瓦茨，劳拉；Suda，Martin:插值的分裂证明（2017）
19. 伊特古洛夫，丹尼亚尔；斯莱尼，约翰；Woltzenlogel Paleo，Bruno:清道夫0.1:基于冲突解决的定理证明者（2017）
20. 梁家辉；哈里戈文德，V。K、 。；帕斯卡，波帕斯特；克扎尔克孜尔克孜；Ganesh，Vijay:基于全球学习率视角的分支启发式实证研究（2017）