zbMATH中的参考文献（参考文献590篇,1标准件)

1. 波拿契娜，玛丽亚·保拉；格雷厄姆·伦格兰德，圣潘；Shankar，Natarajan:理论组合的冲突驱动满足性：引理、模和证明（2022）
2. 弗迪埃，塞斯·费迪南德；科奇杜珀，尼格拉斯；阿尔托夫，马提亚斯；Mazo，Manuel:STL规范下非线性连续时间系统的闭式采样数据控制器的形式化综合（2022）
3. Vlk，马雷克；布雷乔娃，凯特·伊娜；汉兹列克，兹登涅克；唐思宇：时间敏感网络中的大规模周期调度（2022）
4. 阿巴西，罗莎；希夫尔，乔纳斯；达鲁洛娃，伊娃；乌尔布里希，马提亚斯；Ahrendt，Wolfgang:KeY中浮点Java程序的演绎验证（2021）
5. 阿玛蒂尼，罗伯托；恒河，格雷姆；沙赫特，彼得；桑德加德，哈拉尔德；Stuckey，Peter J.：动态符号执行的算法选择：初步研究（2021）
6. 安索特吉，卡洛斯；欧吉达，杰斯；帕切科，安东尼奥；庞，约瑟普；萨尔维亚，约瑟普·M。；托雷斯，爱德华德：OptiLog：基于SAT系统的框架（2021）
7. 贝克曼，彼得；吕默，菲利普；Zeljić，Aleksandar:使用未解释谓词和Preburger算法的插值位向量公式（2021）
8. 贝里希，迈克；查瓦里·维拉雷洛，阿兰；Vargas García，Edith:通过FCA表示分区格（2021）
9. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
10. 比加雷拉，菲利波；亚历山德罗·西马蒂；格里吉奥，阿尔伯托；艾哈迈德·伊尔凡；乔纳什，马丁；罗维里，马可；塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：通过增量线性化优化模非线性算法（2021）
11. 布朗丁，迈克尔；埃斯帕扎，哈维尔；杰克斯，斯特凡；Meyer，Philipp J.：人口协议的有效验证（2021）
12. 布朗伯格，马丁；德拉戈斯特，伊琳娜；法克赫，拉沙；菲泽，克里斯托夫；克鲁兹，马库斯；Weidenbach，Christoph:用于监督验证条件的数据记录锤模简单线性算法（2021）
13. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
14. 乔斯卡，米兰；汉塞尔，克里斯蒂安；荣格，塞巴斯蒂安；Katoen，Joost Pieter:反例引导的概率系统归纳综合（2021）
15. 郑小荣；昌、油炸；李大勇；任正通：一维数据的图形拟合（2021）
16. 亚历山德罗·西马蒂；格里吉奥，阿尔伯托；Redondi，Gianluca:无量词SMT推理参数系统的通用不变检验（2021）
17. 克莱森，科恩；Lillieström，Ann:在一阶自动推理中处理传递关系（2021）
18. 杜特尔，亚伦；莫斯卡托，马里亚诺；蒂托洛，劳拉；穆尼奥斯，塞萨尔；安德森，格雷戈里；Bobot，Francisçois:紧凑位置报告算法的形式分析（2021）
19. 埃夫勒，利昂；Gleixner，Ambros:精确有理混合整数规划的计算状态更新（2021）
20. 埃拉·库姆·德瓦利娜（Eraşcu，Mădălina）；米科塔，弗拉维亚；Zaharie，Daniela:使用优化模理论、数学规划和对称破坏在基于组件的应用程序云中的可伸缩优化部署（2021）