zbMATH中的参考文献（参考文献574篇)

1. 雅各布维茨格；Gleixner，Ambros:混合整数规划的冲突驱动启发式（2021）
2. 阿彻伯格，托拜厄斯；比克斯比，罗伯特E。；顾宗浩；罗斯伯格，爱德华；Weninger，Dieter:混合整数规划的预求解缩减（2020）
3. 伯克霍尔茨，克里斯托夫；Nordström，雅各布：分辨率的超临界空间宽度权衡（2020）
4. 布朗伯格，马丁；斯图姆，托马斯；魏登巴赫，克里斯托夫：线性整数求解的一种完整的终结方法（2020）
5. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
6. 希伯拉德，以马内尔；Katsirelos，George:图着色的约束和可满足性推理（2020）
7. 基尔，本杰明；雷波拉·帕多，阿德里安；海勒，玛丽安J。H、 。；Biere，Armin:用扩展分辨率模拟强大的实用证明系统（2020）
8. 拉涅兹，让-玛丽；伦卡，伊曼纽；马奎斯，皮埃尔：模型计数的可定义性（2020）
9. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
10. 李楚民；萧，范；罗、毛；很多，费利普；吕志鹏；Li，Yu:CDCL SAT solvers中的单元传播的条款生动化（2020）
11. 李春晓；弗莱明，诺亚；葡萄酒，马克；皮塔西，托尼安；Ganesh，Vijay:对SAT解算器重启的复杂性理论理解（2020）
12. 文森特，瓦莱德；勒弗里奥，卢多维奇；巴力，苏黑卜；索皮娜，朱利安；加内什，维杰；Kordon，Fabrice:并行SAT解决的基于社区和LBD的条款共享策略（2020）
13. 温齐尔，安东尼乌斯；灰褐色，理查德；Friedrich，Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等（2020）
14. 阿布德·埃尔·马克苏德，穆尼拉A。；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019）
15. 埃弗拉多，弗拉维奥；简胡南，托米；卡明斯基，罗兰；Schaub，Torsten:回归\texttxorro（2019）
16. 王文喜；桑德加德，哈拉尔德；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019）
17. 贝拉克涅。；拉布雷什，C。；莫德特，N。；穆索，V。；Ouerdane，W.：从示例中学习多准则非补偿性排序规则的有效SAT公式（2018）
18. 贝尔，阿明；Daniel Kröning:基于SAT的模型检查（2018）
19. 布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；拉米，彼得；Weidenbach，Christoph:一个经过验证的SAT解算器框架，包括学习、遗忘、重启和增量（2018）
20. 程曦；周敏；宋晓宇；顾明；孙佳光：并行化SMT解决：懒惰分解与调解（2018）