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

1. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
2. 博内，玛丽亚·路易莎；巴斯，萨姆；伊格纳蒂耶夫，亚历克赛；莫加多，安东尼奥；马奎斯·席尔瓦：基于最大可满足性的命题证明系统（2021）
3. 阿德南，达威奇；Marquis，Pierre:论布尔逻辑中的文字量化及其在可解释人工智能中的应用（2021）
4. 阿泽维多，吉尔赫米·恩里克·伊斯梅尔；佩索阿，阿尔维斯；Subramanian，Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法（2021）
5. 吉尔德兹克鲁，杰斯；Levy，Jordi:流行相似性随机SAT公式（2021）
6. 格里吉奥，阿尔伯托；罗维里，马可；托内塔，斯特凡诺：基于SAT的模型检查的证明（2021年）
7. 侯赛因，阿卡什；拉鲁西尼，弗朗索瓦：（\mathsfQCTL）模型检查与（\mathsfQBF）解算器（2021年）
8. Kyrillidas，Anastasios；Shrivastava，安舒马利；瓦迪，摩舍。；张志伟：用多线性Fourier展开求解连续空间中的混合布尔约束（2021）
9. 卢特伯格，比约纳尔；克莱森，科恩；约翰森，基督徒；Steffen，Martin：SAT模离散事件仿真在铁路设计能力分析中的应用（2021）
10. 卢特伯格，比约纳尔；Johansen，Christian:用SAT绘制：铁路基础设施示意图的四种方法和工具（2021年）
11. 庞齐奥，巴勃罗；戈迪奥，阿里尔；罗斯纳，尼古拉斯；阿罗约，马塞洛；阿吉尔，拿撒勒诺；Frias，Marcelo F.：使用紧字段边界对堆操作程序进行有效的有界模型检查（2021）
12. 萨特克利夫：第十届IJCAR自动定理证明系统竞赛——CASC-J10（2021）
13. Wernhard，Christoph:Craig interpolation with clausal一阶表格（2021）
14. 扎瓦特里，马特奥；科比，卡罗；里兹，罗密欧；Viganò，Luca:STN与决策的一致性检查：无缝管理时间和访问控制约束（2021）
15. 阿尔维亚诺，马里奥；Dodaro，Carmine:不满意的核心分析和最佳稳定模型搜索的聚集（2020）
16. 贝格，耶利米亚斯；酒神，法希姆；Poole，Alex：隐式命中集合MaxSat求解的抽象核心（2020）
17. 卞正兵；楚达克，费边；麦克雷迪，威廉；罗伊，艾丹；塞巴斯蒂安尼，罗伯托；Varotti，Stefano:用量子退火器求解SAT（和MaxSAT）：基础、编码和初步结果（2020）
18. 布雷卡，格哈德；迪勒，马丁；海森伯格，乔治；林斯比希勒，托马斯；Woltran，Stefan:用答案集编程解决高级论证问题（2020）
19. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
20. 德贝兹，帕特里克；佩林，莱奥：中间相遇攻击和回合减少王子的结构分析（2020）