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

1. Bueno，Denis；Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年）
2. 特伦丁，帕特里克；塞巴斯蒂安，罗伯托：浮点数理论的优化模（2019）
3. Barrett，Clark；Tinelli，Cesare:可满足模理论（2018）
4. 程，西；周，民；宋，晓宇；顾，明；孙佳光：并行SMT解决：懒惰分解与调解（2018）
5. 葛存晶；马飞飞；刘天田；张健；马旭通：一种新的近似模型计数概率算法（2018）
6. Niewiadomski，Artur；Switalski，Piotr；Sidoruk，Teofil；Penczek，Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中选定的问题（2018）
7. Chakraborty，Supratik；Gupta，Ashutosh；Jain，Rahul:位向量公式中的匹配乘法（2017）
8. Chakraborty，Supratik；Khasidashvili，Zurab；Seger，Carl Johan H.；Gajavelly，Rajkumar；Haldankar，Tanmay；Chhatani，Dinesh；Mistry，Rakesh：单词级验证的符号轨迹评估：理论与实现（2017）
9. Chihani，Zakaria；Marre，Bruno；Bobot，François；Bardin，Sébastien:位向量理论的约束编程方法（2017）
10. Knoop，Jens；Kovács，Laura；Zwirchmayr，Jakob:用积极的知识取代猜想：使用符号执行推断经证实的最坏情况下的精确执行时限（2017）
11. Preiner，Mathias；Niemetz，Aina；Biere，Armin:反例引导模型合成（2017）
12. Schrammel，Peter；Krooning，Daniel；Brain，Martin；Martins，Ruben；Teige，Tino；Bienmüller，Tom:嵌入式软件的增量有界模型检查（2017）
13. Surynek，Pavel:基于时间扩展图的协同寻径优化求解命题编码（2017）
14. Inala，Jeevana Priya；Singh，Rohit；Solar Lezama，Armando：位向量解算器领域特定CNF编码器的合成（2016）
15. Kovásznai，Gergely；Fröhlich，Andreas；Biere，Armin:固定大小位向量逻辑的复杂性（2016）
16. 丹尼尔·克罗宁；奥弗·斯特里奇曼：决策程序。算法观点（2016）
17. Saarikivi，Olli；Heljanko，Keijo:LCTD:LLVM上C程序的测试引导证明（2016）
18. Zeljić，Aleksandar；Wintersteiger，Christoph M.；Rümmer，Philipp:用mcsat决定位向量公式（2016）
19. 周敏；何飞；王，弓偏航；顾明；孙佳光：有界元阵列理论及其应用（2014）
20. 克拉克•巴雷特；摩根•德斯特尔斯；莱昂纳多•德莫拉；艾伯特•奥利维拉；艾伦•斯顿普：6年SMT-COMP（2013年）ioport公司