ZBMaCT中的参考文献（27篇文章中引用）

1. BueNo，丹尼斯；Sakallah，Karem A.：EUFROIA:完整的软件模型检查与未解释的功能（2019）
2. Trentin，帕特里克；Sebastiani，罗伯托：浮点数理论的最优化模（2019）
3. 巴雷特，克拉克；Tinelli，CeSEAR:可满足性模理论（2018）
4. 程，奚；周，闽；宋，Xiaoyu；顾，明；孙，夹谷昂：并行化SMT求解：懒惰分解与调和（2018）
5. 葛晶，马，菲菲；刘，田；张，建；马，Xutong：一种新的近似模型计数概率算法（2018）
6. Niewiadomski，阿图尔；Switalski，Piotr；SIDORUK，Teofil；PunZek，WojiCe:SMT求解器：编码和解决NP和ExpTimes中的选择问题（2018）
7. Chakraborty，ExpTalk；Gupta，阿什图什；耆那教，拉胡尔：位向量公式中的匹配乘法（2017）
8. Chakraborty，Expulk；Khasidashvili，Zurab；Seger，Carl Johan H.；Gajavile，Rajkumar；Haldankar，Tanmay；查塔尼，Dinesh；Misty，RaKeSH：字级验证的符号轨迹评估：理论和实现（2017）
9. 基哈尼，扎卡里亚；马雷，布鲁诺；BoBOT，弗兰Sou-OIS；巴丁，Se巴斯蒂安：位向量理论的锐化约束编程方法（2017）
10. Knoop，Jens；KoaCCS，劳拉；ZirrChayar，JakOb:用积极的知识代替猜想：用符号执行推断精确的最坏情况执行时间界限（2017）
11. Schrammel，彼得；克罗宁，丹尼尔；脑，马丁；马丁斯，Ruben；Tige，Tino；BinmüL勒，Posi:增量嵌入模型的有界模型检验（2017）
12. SuryNek，帕维尔：基于时间展开图的合作路径寻优完工时间最优解的命题编码（2017）
13. Inala，Jeevana Priya；Singh，Rohit；Solar LeZaMa，阿曼多：位矢量求解器的特定领域CNF编码器的合成（2016）
14. Koas-SsNai，Gergely；Fr O'HLICH，安德烈亚斯；Bieor，Armin：固定大小位向量逻辑的复杂性（2016）
15. 克罗宁，丹尼尔；斯特里曼，Ofer：决策程序。算法的观点（2016）
16. 萨里基维，Olli；Heljango，Kejo：LCTD：LLVM（2016）上C程序的试验指导证据
17. 泽尔吉，Aleksandar；温特斯泰格，Christoph M.；R·米默，Philipp：用McSAT（2016）决定位矢量公式
18. 周，闽；何，飞；王，弓偏航；顾，明；孙，夹谷昂：有界元素的阵列理论及其应用（2014）
19. 巴雷特，克拉克；威慑，摩根；de Moura，列奥纳多；奥利维拉斯，艾伯特；残肢，亚伦：6年的SMT-COMP（2013）伊波尔特
20. 约万诺维奇、德扬、巴雷特、克拉克：理论结合要慎重（2013）