zbMATH参考文献（参考 62篇文章 参考）

1. Amendola，Giovanni；Ricca，Francesco；Truszczynski，Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型（2020）
2. Gerault，David；Lafourcade，Pascal；Minier，Marine；Solnon，Christine：用约束编程计算AES相关关键微分特性（2020）
3. Juma，Nahid；Ditel，Werner；Tripunitara，Mahesh:泛型宇宙类型可调类型推断的计算复杂性分析（2020）
4. Junttila，Tommi；Karppa，Matti；Kaski，Petteri；Kohonen，Jukka:对称性缩减的自适应前缀分配技术（2020）
5. 拉格尼兹，让-玛丽；朗卡，埃曼纽尔；马奎斯，皮埃尔：模型计数的可定义性（2020）
6. 李楚民；萧，范；罗，毛；许多阿，费利普；吕志鹏；李，余：CDCL SAT解算器中单元传播的条款生动化（2020）
7. Semenov，Alexander；Otpuschennikov，Ilya；Gribanova，Irina；Zaikin，Oleg；Kochemazov，Stepan：将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用（2020年）
8. 乔治巴赫梅耶（Georg Bachmeier）；费利克斯（Felix）布兰特（Brandt）；基耶斯（Geist），克里斯蒂安（Geist），保罗哈伦斯坦（Harrenstein），卡尔德尔（Kardel），凯万（Keyvan），彼得斯（Peters），多米尼克（Dominik），赛迪格（Seedig），汉斯·格奥尔格（Hans Georg）：（k）——多数有向图和固定人数投票的艰难投票（
9. Bean，Christian；Gudmundsson，Bjarki；Ulfarsson，Henning：置换类结构规则的自动发现（2019）
10. Beleĭ，Evgeniya Gennad'evna；Semënov，Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术（2019）
11. Kauers，Manuel；Seidl，Martina；Zeilberger，Doron:不同DNF重言式中的最大最小立方体长度（2019）
12. 本杰明•基尔；海勒•马里恩•J•H.；贝尔•阿明：《作为有条件自给自足的真理分配》（2019年）
13. Ngoko，Yanik；Cérin，Christophe；Trystram，Denis：在分布式云中解决SAT：投资组合方法（2019）
14. Semenov，Alexander A.：合并变量：伪布尔优化中的一种搜索技术（2019）
15. Tonello，Elisa；Farcot，Etienne；Chaouiya，Claudine:最多包含五个分量的布尔网络中的局部负电路和循环吸引子（2019）
16. 程，西；周，民；宋，晓宇；顾，明；孙佳光：并行SMT解决：懒惰分解与调解（2018）
17. Eggensperger，Katharina；Lindauer，Marius；Hoos，Holger H.；Hutter，Frank；Leyton Brown，Kevin:通过基于模型的代理对算法配置器进行有效的基准测试（2018年）
18. 定量推理（Marcelo，2018）
19. Kiesl，Benjamin；Seidl，Martina；Tompits，Hans；Biere，Armin：《SAT中的局部冗余：封锁条款的概括》（2018）
20. 宁，欣然；徐，杨；吴冠峰；傅惠民：《一阶逻辑中的集阻塞子句和扩展集阻塞子句》（2018）