zbMATH参考文献（参考 182篇文章

1. Bright，Curtis；Kotsireas，Ilias；Heinle，Albert；Ganesh，Vijay:长度为28的复杂Golay对：通过计算机代数和程序SAT进行搜索（2021年）
2. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
3. Bright，Curtis；Kotsireas，Ilias；Ganesh，Vijay:将带有SAT解算器的计算机代数系统应用于Williamson猜想（2020）
4. Davenport，James H.；England，Matthew；Griggio，Alberto；Sturm，Thomas；Tinelli，Cesare:符号计算和可满足性检验（2020）
5. England，Matthew；Bradford，Russell；Davenport，James H.：带等式约束的柱形代数分解（2020）
6. Kremer，Gereon；Ábrahám，Erika:完全增量圆柱代数分解（2020）
7. 秦旭东；Bliudze，Simon；Madelaine，Eric；侯泽晨；邓宇欣；张敏：基于SMT的符号自动机生成（2020）
8. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
9. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
10. Barbosa，Haniel；Reynolds，Andrew；El Ouraoui，Daniel；Tinelli，Cesare；Barrett，Clark：将SMT求解器扩展到高阶逻辑（2019年）
11. Borralleras，Cristina；Larraz，Daniel；Rodríguez Carbonell，Enric；Oliveras，Albert；Rubio，Albert：求解整数上非线性公式的不完全SMT技术（2019年）
12. Bueno，Denis；Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年）
13. König，Barbara；Nederkorn，Maxime；Nolte，Dennis:CoReS:通过SAT/SMT解算器计算核心图的工具（2019年）
14. Niemetz，Aina；Preiner，Mathias；Reynolds，Andrew；Zohar，Yoni；Barrett，Clark；Tinelli，Cesare:面向SMT解算器的位宽度独立证明（2019）
15. Reger，Giles；Voronkov，Andrei:基于饱和的证据搜索中的归纳法（2019）
16. Stephan Schulz；Simon Cruanes；Vukmirović，Petar：更快、更高、更强：E2.3（2019年）
17. 特伦丁，帕特里克；塞巴斯蒂安，罗伯托：浮点数理论的优化模（2019）
18. Bansal，Kshitij；Barrett，Clark；Reynolds，Andrew；Tinelli，Cesare:SMT中的有限集和基数约束推理（2018）
19. Barrett，Clark；Tinelli，Cesare:可满足模理论（2018）
20. Blanchette，Jasmin Christian；Peltier，Nicolas；Robilard，Simon：数据类型和代码类型的叠加（2018）