zbMATH中的参考文献（参考文献31条)

1. Mann，Makai；威尔逊，阿玛利；佐哈尔，尤尼；斯特伦茨，林赛；艾哈迈德·伊尔凡；布朗，克里斯托弗；多诺维克，卡莱布；古曼，艾莉森；蒂内利，塞萨尔；Barrett，Clark:Smt Switch:Smt求解的不可知C++API（2021）
2. 特伦丁，帕特里克；塞巴斯蒂安尼，罗伯托：有符号位向量和浮点数理论的优化模（2021）
3. 乔纳什，马丁；Strejček，Jan:通过位宽度缩减和扩展加速量化比特向量SMT解算器（2020年）
4. 布埃诺，丹尼斯；Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年）
5. 特伦丁，帕特里克；塞巴斯蒂安尼，罗伯托：浮点数理论的优化模（2019）
6. 巴雷特，克拉克；Tinelli，Cesare:可满足性模理论（2018）
7. 程曦；周敏；宋晓宇；顾明；孙佳光：并行化SMT解决：懒惰分解与调解（2018）
8. 葛存菁；妈妈，菲菲；刘、田；张健；马旭通：一种新的近似模型计数概率算法（2018）
9. 尼维亚多姆斯基，阿图尔；斯威塔尔斯基，皮奥特；西多鲁克，特奥菲尔；Penczek，Wojciech:SMT solvers in action:编码和解决NP和EXPTIME中的选定问题（2018）
10. 查克拉波蒂，上提克；古普塔，阿什图什；Jain，Rahul:位向量公式中的匹配乘法（2017）
11. 查克拉波蒂，上提克；哈西达什维利，祖拉布；塞格，卡尔·约翰H。；加贾韦利，拉杰库马尔；哈尔丹卡尔，坦梅；查塔尼，迪内什；Mistry，Rakesh：单词级验证的符号轨迹评估：理论与实现（2017）
12. 基哈尼，扎卡里亚；玛丽，布鲁诺；博博特，弗朗索瓦；Bardin，Sébastien:位向量理论的约束规划方法（2017）
13. 诺普，詹斯；科瓦茨，劳拉；Zwirchmayr，Jakob:用积极的知识取代猜想：使用符号执行推断经证实的最坏情况下的精确执行时限（2017）
14. 普雷纳，马蒂亚斯；尼美兹，艾娜；Biere，Armin:反例引导模型合成（2017）
15. 施拉梅尔，彼得；丹尼尔·克罗宁；布莱恩，马丁；马丁斯，鲁本；泰格，蒂诺；Bienemüller，Tom:嵌入式软件的增量有界模型检查（2017）
16. Surynek，Pavel:基于时间扩展图的协同寻径优化求解命题编码（2017）
17. 伊娜拉，吉瓦娜·普里亚；辛格，罗希特；Solar Lezama，Armando:位向量解算器领域特定CNF编码器的合成（2016）
18. 科瓦什奈，盖里；弗里希，安德烈亚斯；Biere，Armin:固定大小位向量逻辑的复杂性（2016）
19. 丹尼尔·克罗宁；斯特里奇曼：决策程序。算法观点（2016）
20. 萨里基维，奥利；Heljanko，Keijo:LCTD:LLVM上C程序的测试引导证明（2016）