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

1. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
2. 博内，玛丽亚·路易莎；萨姆，巴斯；伊格纳蒂耶夫，亚历克赛；莫加多，安东尼奥；马奎斯·席尔瓦：基于最大可满足性的命题证明系统（2021）
3. 阿泽维多，吉尔赫米·恩里克·伊斯梅尔；佩索阿，阿尔维斯；Subramanian，Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法（2021）
4. 吉尔德兹克鲁，杰斯；Levy，Jordi:流行相似性随机SAT公式（2021）
5. 侯赛因，阿卡什；拉鲁西尼，弗朗索瓦：（\mathsfQCTL）模型检查与（\mathsfQBF）解算器（2021年）
6. Kyrillidas，Anastasios；Shrivastava，安舒马利；瓦迪，摩舍。；张志伟：用多线性Fourier展开求解连续空间中的混合布尔约束（2021）
7. 庞齐奥，巴勃罗；戈迪奥，阿里尔；罗斯纳，尼古拉斯；阿罗约，马塞洛；阿吉尔，拿撒勒诺；Frias，Marcelo F.：使用紧字段边界对堆操作程序进行有效的有界模型检查（2021）
8. 扎瓦特里，马特奥；科比，卡罗；里兹，罗密欧；Viganò，Luca:STN与决策的一致性检查：无缝管理时间和访问控制约束（2021）
9. 阿尔维亚诺，马里奥；Dodaro，Carmine:不满意的核心分析和最佳稳定模型搜索的聚集（2020）
10. 卞正兵；楚达克，费边；麦克雷迪，威廉；罗伊，艾丹；塞巴斯蒂安尼，罗伯托；Varotti，Stefano:用量子退火器求解SAT（和MaxSAT）：基础、编码和初步结果（2020）
11. 布雷卡，格哈德；迪勒，马丁；海森伯格，乔治；林斯比希勒，托马斯；Woltran，Stefan:用答案集编程解决高级论证问题（2020）
12. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
13. 德贝兹，帕特里克；佩林，莱奥：中间相遇攻击和回合减少王子的结构分析（2020）
14. 多达罗，胭脂红；Ricca，Francesco：扩展WASP的外部接口（2020）
15. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
16. Gaggl，莎拉A。；林斯比希勒，托马斯；马拉提亚，马可；Stefan Woltran:第二届国际论证计算模型竞赛的设计与结果（2020）
17. 考夫曼，丹妮拉；阿米尔，阿米尔；Kauers，Manuel:使用计算机代数对算术电路进行增量列式验证（2020）
18. 拉涅兹，让-玛丽；伦卡，伊曼纽；马奎斯，皮埃尔：模型计数的可定义性（2020）
19. 李楚民；萧，范；罗、毛；很多，费利普；吕志鹏；Li，Yu:CDCL SAT solvers中的单元传播的条款生动化（2020）
20. 李建文；普格光；张月玲；瓦迪，摩舍。；Rozier，Kristin Y.：基于SAT的显式（\mathsfLTL_f）满意度检查（2020）