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

1. Gaggl，Sarah A.；Linsbichler，Thomas；Marco Maratea；Woltran，Stefan:第二届国际论证计算模型竞赛的设计和结果（2020年）
2. 拉格尼兹，让-玛丽；朗卡，埃曼纽尔；马奎斯，皮埃尔：模型计数的可定义性（2020）
3. 李楚民；萧，范；罗，毛；许多阿，费利普；吕志鹏；李，余：CDCL SAT解算器中单元传播的条款生动化（2020）
4. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
5. Stepirin-to-Cast的问题描述；Stepirin-to-Cast；Stepirin-to-Translation-of-discrete-Banikham-Pusiln-2020；Stepirin-to-Translation-of-discrete-Banchem-Castings；Alexander-Banikhim-Translation-of-discrete-Banzairin-functions-in-Cas
6. Abd El Maksoud，Munira A.；Abdalla，Areeg:Van der Waerden数字的新SAT解算器（2019年）
7. Alviano，Mario；Dodaro，Carmine；Fichte，Johannes K.；Hecher，Markus；Philipp，Tobias；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）
8. Mutsunori Banbara；Inoue，Katsumi；Kaufmann，Benjamin；Okimoto，Tenda；Schaub，Torsten；Soh，Takehide；Tamura，Naoyuki；Wanko，Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题（2019年）
9. Breik，Keenan；Thachuk，Chris；Heule，Marijn；Soloveichik，David:热力学结合网络稳定构型的计算特性（2019）
10. 卡萨诺，瓦伦丁；费瓦里，劳尔；霍夫曼，纪尧姆；阿雷斯，卡洛斯；卡斯特罗，帕布罗F.：默认直觉逻辑的表格演算（2019）
11. Cerutti，Federico；Giacomin，Massimiliano；Vallati，Mauro：我们如何设计抽象论证的获胜算法以及我们获得的洞察力（2019年）
12. Däubel，Karl；Jäger，Sven；Mütze，Torsten；Scheucher，Manfred:关于正交对称链分解（2019）
13. Fichte，Johannes K.；Kronegger，Martin；Woltran，Stefan：答案集编程的多参数观点（2019）
14. Hodžić，S.；Pasalic，E.；Chattopadhyay，A.：指数生成函数线性分解的迭代方法（2019年）
15. Jančk，Pavel；Kofroň，Jan；Alt，Leonardo；Fedyukovich，Grigory；Hyvärinen，Antti E.J.；Sharygina，Natasha:在基于插值的模型检查中利用部分变量赋值（2019年）
16. Karpinèski，Michał；Piotrów，Marek:使用多路合并选择网络编码基数约束（2019年）
17. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用（2019）
18. Wang，Wenxi；Søndergaard，Harald；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019年）
19. Zha，Aolong；Koshimura，Miyuki；Fujita，Hiroshi:（N）基于模的MaxSAT伪布尔约束的CNF编码（2019）
20. Alliot，Jean-Marc；Demolombe，Robert；Del Cerro，Luis Fariñas；Diéguez，Martín；Obed，Naji：《分子相互作用图上的诱拐推理》（2018）