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

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