zbMATH中的参考文献（参考 20篇文章 参考，1标准件)

1. 丹尼尔·克罗宁；奥弗·斯特里奇曼：决策程序。算法观点（2016）
2. Meseguer，José：初始代数中基于变量的可满足性（2016）
3. 克拉克•巴雷特；摩根•德斯特尔斯；莱昂纳多•德莫拉；艾伯特•奥利维拉；艾伦•斯顿普：6年SMT-COMP（2013年）ioport公司
4. Konur，Savas:用于指定和验证实时系统的时序逻辑综述（2013）
5. 斯特里克曼，奥弗（编辑）；克罗宁，丹尼尔（编辑）：“SI：可满足性模理论”专刊前言（2013）
6. Bruttomesso，Roberto；Cimatti，Alessandro；Franzen，Anders；Griggio，Alberto；Sebastiani，Roberto：延迟理论组合与Nelson Oppen的可满足性模块理论：比较分析（2009）
7. 丹尼尔·克罗宁（Daniel Kroneing）；斯特里克曼（Strichman），奥弗（Ofer）：可满足性模理论框架（2009）
8. Badban，Bahareh；Van De Pol，Jaco；Tveretina，Olga；Zantema，Hans:概括DPLL和平等满意度（2007）
9. Basin，David；Kuruma，Hironobu；宫崎骏，Kunihiko；Takaragi，Kazuo；Wolff，Burkhart:验证标志性建筑：比较案例研究（2007）
10. Marco Bozzano；Bruttomesso，Roberto；Cimatti，Alessandro；Juntila，Tommi；Ranise，Silvio；Van Rossum，Peter；Sebastiani，Roberto:通过布尔搜索进行有效的理论组合（2006）
11. David Currie；Feng，Xiushan；Fujita，Masahiro；Hu，Alan J.；Kwan，Mark；Rajan，Sreeranga:使用符号执行和未解释函数的嵌入式软件验证（2006）
12. Ireland，Andrew；Ellis，Bill J.；Cook，Andrew；Chapman，Roderick；Barnes，Janet:高完整性软件验证的集成方法（2006）
13. Rodeh，Yoav；Strichman，Ofer:用未解释的函数建立小的等式图来决定等式逻辑（2006）
14. （2005年巴伦纳德设计竞赛的结果）
15. Marco Bozzano；Roberto Bruttomesso；Alessandro Cimatti；Tommi Juntila；van Rossum，Peter；Schulz，Stephan；Sebastiani，Roberto:M\textbfathSAT:SAT和数学决策程序的紧密集成（2005）
16. Yorsh，Greta；Musuvathi，Madanlal:生成插入式的组合方法（2005）
17. Zuck，Lenore；Pnueli，Amir；Goldberg，Benjamin；Barrett，Clark；Fang，Yi；Hu，Ying:循环转换的翻译和运行时验证（2005）
18. Sorea，Maria:时间自动机的有界模型检验（2003）
19. Filli–tre，Jean-Christophe；Owre，Sam；Rueß，Harald；Shankar，Natarajan:ICS：集成规范化器和求解器（2001）
20. Rusu，Vlad；Zinovieva，Elena:用Preburger算法和未解释函数符号分析自动机（2001）