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

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