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

1. 本特坎普，亚历山大；布兰切特，贾斯敏；克鲁恩斯，西蒙；Waldmann，Uwe:无lambda高阶逻辑的叠加（2021）
2. 弗雷克，尼尔斯；海勒，玛丽安；伊瑟，马库斯；马尔维萨洛，马蒂；苏达，马丁：2020年SAT竞赛（2021年）
3. 尼美兹，艾娜；普雷纳，马蒂亚斯；雷诺兹，安德鲁；巴雷特，克拉克；Tinelli，Cesare:关于利用可逆条件求解量化位向量约束（2021）
4. 萨特克利夫：第十届IJCAR自动定理证明系统竞赛——CASC-J10（2021）
5. 萨特克利夫，杰夫；马丁·德沙奈斯：CADE-28自动定理证明系统竞赛——CASC-28（2021）
6. Vukmirović，佩塔；本特坎普，亚历山大；Nummelin，Visa：高效的完全高阶统一（2021年）
7. 于金强；伊格纳蒂耶夫，亚历克赛；斯图基，彼得J。；Le Bodic，Pierre:通过SAT学习最佳决策集和列表（2021）
8. 哈杜，马尔顿；霍佐娃，佩特拉；科瓦茨，劳拉；肖斯沃尔，约翰内斯；Voronkov，Andrei:叠加推理中的归纳与泛化（2020）
9. Rümmer，Philipp:竞争报告：CHC-COMP-20（2020）
10. 艾哈迈德·巴亚特；Reger，Giles:受限组合统一（2019）
11. 博拉雷拉斯，克里斯蒂娜；拉拉兹，丹尼尔；罗德里格斯·卡博内尔，恩里克；奥利维拉斯，阿尔伯特；Rubio，Albert:求解整数上非线性公式的不完全SMT技术（2019）
12. 约希，苏拉伯；库马尔，普拉蒂克；拉奥，苏克拉特；马丁斯，鲁本：\textsfOpen WBO Inc:不完全加权最大卫星近似策略（2019年）
13. 普利纳，卢卡；Seidl，Martina:2016年和2017年QBF solvers评估（QBFEVAL'16和QBFEVAL'17）（2019年）
14. 罗森，迈克尔；雷格，贾尔斯：旧的还是重的？随着年龄/体重形状优雅地衰退（2019年）
15. 雷格，吉尔斯；里纳，马丁；Suda，Martin:MACE式有限模型发现中的对称避免（2019）
16. 雷格，吉尔斯；Voronkov，Andrei:基于饱和的证据搜索中的归纳法（2019）
17. 雷诺兹，安德鲁；昆卡，维克托；蒂内利，塞萨尔；巴雷特，克拉克；Deters，Morgan:SMT中基于反驳的合成（2019）
18. 舒尔茨，斯蒂芬；克鲁恩斯，西蒙；Vukmirović，Petar：更快、更高、更强：E2.3（2019年）
19. 萨特克利夫：CADE-27自动定理证明系统竞赛——CASC-27（2019）
20. 奥图，高仁；哈马纳，Makoto；广川，脑；米德尔多普，Aart；纳格尔，朱利安；西田、直木；新塔尼，基拉库；扎克尔，哈拉尔德：融合竞争2018（2018）