zbMATH中的参考文献（引用于，1标准件)

1. 帕特里克，德贝兹；佩林，莱奥：中间相遇攻击和回合减少王子的结构分析（2020）
2. Gaggl，Sarah A.；Linsbichler，Thomas；Marco Maratea；Woltran，Stefan:第二届国际论证计算模型竞赛的设计和结果（2020年）
3. 拉格尼兹，让-玛丽；朗卡，埃曼纽尔；马奎斯，皮埃尔：模型计数的可定义性（2020）
4. 李楚民；萧，范；罗，毛；许多阿，费利普；吕志鹏；李，余：CDCL SAT解算器中单元传播的条款生动化（2020）
5. Roh，Dongyong；Koo，Bonwook；Jung，Younghoon；Jeong，Il-Woong；Lee，Dong-Geon；Kwon，Daesung；Kim，Woo-Hwan：分组密码CHAM的修订版（2020）
6. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
7. Semenov，Alexander；Otpuschennikov，Ilya；Gribanova，Irina；Zaikin，Oleg；Kochemazov，Stepan：将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用（2020年）
8. Abd El Maksoud，Munira A.；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019年）
9. Alviano，Mario；Dodaro，Carmine；Fichte，Johannes K.；Hecher，Markus；Philipp，Tobias；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）
10. Mutsunori Banbara；Inoue，Katsumi；Kaufmann，Benjamin；Okimoto，Tenda；Schaub，Torsten；Soh，Takehide；Tamura，Naoyuki；Wanko，Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题（2019年）
11. Breik，Keenan；Thachuk，Chris；Heule，Marijn；Soloveichik，David:热力学结合网络稳定构型的计算特性（2019）
12. 卡萨诺，瓦伦丁；费瓦里，劳尔；霍夫曼，纪尧姆；阿雷斯，卡洛斯；卡斯特罗，帕布罗F.：默认直觉逻辑的表格演算（2019）
13. 费德米利科为2019年设计的抽象算法；米利科是如何设计的
14. Däubel，Karl；Jäger，Sven；Mütze，Torsten；Scheucher，Manfred:关于正交对称链分解（2019）
15. Fichte，Johannes K.；Kronegger，Martin；Woltran，Stefan：答案集编程的多参数观点（2019）
16. Hodžić，S.；Pasalic，E.；Chattopadhyay，A.：指数生成函数线性分解的迭代方法（2019年）
17. Jančk，Pavel；Kofroň，Jan；Alt，Leonardo；Fedyukovich，Grigory；Hyvärinen，Antti E.J.；Sharygina，Natasha:在基于插值的模型检查中利用部分变量赋值（2019年）
18. Karpinèski，Michał；Piotrów，Marek:使用多路合并选择网络编码基数约束（2019年）
19. 本杰明•基尔；海勒•马里恩•J•H.；贝尔•阿明：《作为有条件自给自足的真理分配》（2019年）
20. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用（2019）