zbMATH参考文献（参考 567篇文章

1. Berkholz，Christoph；Nordström，雅各布：分辨率的超临界空间宽度权衡（2020）
2. Bromberger，Martin；Sturm，Thomas；Weidenbach，Christoph：线性整数求解的一种完整的终止方法（2020）
3. Drechsler，Rolf（编辑）；Soeken，Mathias（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
4. Hebrard，Emmanuel；Katsirelos，George:图着色的约束和可满足性推理（2020）
5. 本杰明·基塞尔；阿德里安·雷博拉·帕多；海勒，玛丽安·J·H.；比尔·阿明：用扩展分辨率模拟强大的实用证明系统（2020年）
6. 拉格尼兹，让-玛丽；朗卡，埃曼纽尔；马奎斯，皮埃尔：模型计数的可定义性（2020）
7. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
8. 李楚民；萧，范；罗，毛；许多阿，费利普；吕志鹏；李，余：CDCL SAT解算器中单元传播的条款生动化（2020）
9. Antonius Weinzierl；Richard Taupe；Friedrich，Gerhard：《推进惰性基础ASP解决技术——重启、阶段节省、启发式等》（2020）
10. Abd El Maksoud，Munira A.；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019年）
11. 埃弗拉多，弗拉维奥；詹胡南，托米；卡明斯基，罗兰；朔布，托尔斯滕：回归\texttxorro（2019）
12. Wang，Wenxi；Søndergaard，Harald；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019年）
13. Belahcène，K.；Labreuche，C.；Maudet，N.；Mousseau，V.；Ouerdane，W.：从示例中学习多准则非补偿性排序规则的有效SAT公式（2018）
14. Biere，Armin；Kröning，Daniel:基于SAT的模型检查（2018）
15. Blanchette，Jasmin Christian；Fleury，Mathias；Lammich，Peter；Weidenbach，Christoph:A verified SAT solver framework with learn，forget，restart，and incrementality（2018年）
16. 程，西；周，民；宋，晓宇；顾，明；孙佳光：并行SMT解决：懒惰分解与调解（2018）
17. Kreter，Stefan；Schutt，Andreas；Stuckey，Peter J.；Zimmermann，Jürgen:用于解决资源可用性成本问题的混合整数线性规划和约束规划公式（2018）
18. 劳里亚，马西莫：集团枚举和树型解析证明（2018）
19. 劳里亚，马西莫：关于（k）-DNF决议（2018年）的注释
20. 吕银润；陈，李；张昌友；曲大成；闵阿拉，纳斯罗；王永吉：带析取约束的线性优化问题的交错深度优先搜索法（2018）