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

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