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

1. 班科维奇，米兰；Marić，Filip:Faradžev非同构CC系统的Read型枚举（2021）
2. 德夫里恩特，乔；格莱斯纳，安布罗斯；诺德斯特伦，雅各布：学习放松：整合（0-1）整数线性规划与伪布尔冲突驱动搜索（2021）
3. 吉尔德兹克鲁，杰斯；Levy，Jordi:流行相似性随机SAT公式（2021）
4. Kyrillidas，Anastasios；Shrivastava，安舒马利；瓦迪，摩舍。；张志伟：用多线性Fourier展开求解连续空间中的混合布尔约束（2021）
5. 罗宾斯，埃德；国王，安迪；豪，雅各布M.：跳转是异常处理（2021）
6. 雅各布维茨格；贝索尔德，蒂莫；Heinz，Stefan:混合整数规划中不可行分析的计算方面（2021）
7. 雅各布维茨格；Gleixner，Ambros:混合整数规划的冲突驱动启发式（2021）
8. 阿彻伯格，托拜厄斯；比克斯比，罗伯特E。；顾宗浩；罗斯伯格，爱德华；Weninger，Dieter:混合整数规划的预求解缩减（2020）
9. 伯克霍尔茨，克里斯托夫；Nordström，雅各布：分辨率的超临界空间宽度权衡（2020）
10. 布朗伯格，马丁；斯图姆，托马斯；魏登巴赫，克里斯托夫：线性整数求解的一种完整的终结方法（2020）
11. 多达罗，胭脂红；Ricca，Francesco：扩展WASP的外部接口（2020）
12. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
13. 希伯拉德，以马内尔；Katsirelos，George:图着色的约束和可满足性推理（2020）
14. 基尔，本杰明；雷波拉·帕多，阿德里安；海勒，玛丽安·J·H。；Biere，Armin:用扩展分辨率模拟强大的实用证明系统（2020）
15. 科切马佐夫（Kochemazov），斯特潘：改善2017-2019年SAT竞赛的实施（2020年）
16. 拉涅兹，让-玛丽；伦卡，伊曼纽；马奎斯，皮埃尔：模型计数的可定义性（2020）
17. Lammich，Peter:有效验证（UN）SAT证书检查（2020年）
18. 丹尼尔，勒贝尔；侯爵，皮埃尔；沃伦，罗曼：论PB解决方案的弱化策略（2020年）
19. 李楚民；萧，范；罗、毛；很多，费利普；吕志鹏；Li，Yu:CDCL SAT solvers中的单元传播的条款生动化（2020）
20. 李春晓；弗莱明，诺亚；葡萄酒，马克；皮塔西，托尼安；Ganesh，Vijay:对SAT解算器重启的复杂性理论理解（2020）