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

1. 阿维斯，大卫；Jordan，Charles:\textsfmts:并行化树搜索代码的轻型框架（2021）
2. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
3. 阿泽维多，吉尔赫米·恩里克·伊斯梅尔；佩索阿，阿尔维斯；Subramanian，Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法（2021）
4. 阿尔维亚诺，马里奥；Dodaro，Carmine:不满意的核心分析和最佳稳定模型搜索的聚集（2020）
5. 卞正兵；楚达克，费边；麦克雷迪，威廉；罗伊，艾丹；塞巴斯蒂安尼，罗伯托；Varotti，Stefano:用量子退火器求解SAT（和MaxSAT）：基础、编码和初步结果（2020）
6. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
7. 德贝兹，帕特里克；佩林，莱奥：中间相遇攻击和回合减少王子的结构分析（2020）
8. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
9. Gaggl，莎拉A。；林斯比希勒，托马斯；马拉提亚，马可；Stefan Woltran:第二届国际论证计算模型竞赛的设计与结果（2020）
10. 考夫曼，丹妮拉；贝尔，阿明；Kauers，Manuel:使用计算机代数对算术电路进行增量列式验证（2020）
11. 拉涅兹，让-玛丽；伦卡，伊曼纽；马奎斯，皮埃尔：模型计数的可定义性（2020）
12. 李楚民；萧，范；罗、毛；很多，费利普；吕志鹏；Li，Yu:CDCL SAT solvers中的单元传播的条款生动化（2020）
13. 马蒂尔，西蒙；Remaud，Maxime:量子回溯算法的实际实现（2020）
14. 帕什科维奇，坎斯坦钦；Poirrier，Laurent:具有循环偏好的三维稳定匹配（2020）
15. 卢东荣；辜胜阻；郑永勋；郑日旺；李向东；权大成；Kim，Woo-Hwan:分组密码CHAM的修订版（2020）
16. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
17. 塞门诺夫，亚历山大；奥特普什尼科夫，伊利亚；格里巴诺娃，伊琳娜；扎金，奥列格；Kochemazov，Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用（2020）
18. 温齐尔，安东尼乌斯；灰褐色，理查德；Friedrich，Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等（2020）
19. 阿布德·埃尔·马克苏德，穆尼拉A。；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019）
20. 阿尔维亚诺，马里奥；多达罗，胭脂红；费希特，约翰尼斯K。；赫彻，马库斯；菲利浦，托比亚斯；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）