zbMATH中的参考文献（参考 536篇文章 参考，1标准件)

1. Bian，Zheng Bing；Chudak，Fabian；Macready，William；Roy，Aidan；Sebastiani，Roberto；Varotti，Stefano：用量子退火器求解SAT（和MaxSAT）：基础、编码和初步结果（2020年）
2. Chen，Qian Matteo；Finzi，Alberto；Mancini，Toni；Melatti，Igor；Tronci，Enrico:MILP、伪布尔和OMT解算器，用于关键无线网络中中继节点的最佳容错配置（2020年）
3. 帕特里克，德贝兹；佩林，莱奥：中间相遇攻击和回合减少王子的结构分析（2020）
4. Drechsler，Rolf（编辑）；Soeken，Mathias（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
5. Gaggl，Sarah A.；Linsbichler，Thomas；Marco Maratea；Woltran，Stefan:第二届国际论证计算模型竞赛的设计和结果（2020年）
6. Kaufmann，Daniela；Biere，Armin；Kauers，Manuel:使用计算机代数对算术电路进行增量列式验证（2020）
7. 拉格尼兹，让-玛丽；朗卡，埃曼纽尔；马奎斯，皮埃尔：模型计数的可定义性（2020）
8. 李楚民；萧，范；罗，毛；许多阿，费利普；吕志鹏；李，余：CDCL SAT解算器中单元传播的条款生动化（2020）
9. Simon Martiel；Remaud，Maxime:量子回溯算法的实际实现（2020）
10. Roh，Dongyong；Koo，Bonwook；Jung，Younghoon；Jeong，Il-Woong；Lee，Dong-Geon；Kwon，Daesung；Kim，Woo-Hwan：分组密码CHAM的修订版（2020）
11. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
12. Semenov，Alexander；Otpuschennikov，Ilya；Gribanova，Irina；Zaikin，Oleg；Kochemazov，Stepan：将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用（2020年）
13. Antonius Weinzierl；Richard Taupe；Friedrich，Gerhard：《推进惰性基础ASP解决技术——重启、阶段节省、启发式等》（2020）
14. Abd El Maksoud，Munira A.；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019年）
15. Alviano，Mario；Dodaro，Carmine；Fichte，Johannes K.；Hecher，Markus；Philipp，Tobias；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）
16. Mutsunori Banbara；Inoue，Katsumi；Kaufmann，Benjamin；Okimoto，Tenda；Schaub，Torsten；Soh，Takehide；Tamura，Naoyuki；Wanko，Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题（2019年）
17. Breik，Keenan；Thachuk，Chris；Heule，Marijn；Soloveichik，David:热力学结合网络稳定构型的计算特性（2019）
18. 卡萨诺，瓦伦丁；费瓦里，劳尔；霍夫曼，纪尧姆；阿雷斯，卡洛斯；卡斯特罗，帕布罗F.：默认直觉逻辑的表格演算（2019）
19. Cerutti，Federico；Giacomin，Massimiliano；Vallati，Mauro：我们如何设计抽象论证的获胜算法以及我们获得的洞察力（2019年）
20. Däubel，Karl；Jäger，Sven；Mütze，Torsten；Scheucher，Manfred:关于正交对称链分解（2019）