zbMATH中的参考文献（参考文献69条)

1. 阿拉姆，贾瓦赫鲁尔医学博士。；贝科斯，迈克尔A。；杜杰莫维ć, 维达；格罗内曼，马丁；考夫曼，迈克尔；普皮耶夫，谢尔盖：关于可分散的书籍嵌入（2021）
2. 海勒，玛丽安J。H、 。；考尔斯，曼纽尔；Seidl，Martina:乘法（3倍3）-矩阵的新方法（2021）
3. 阿蒙多拉，乔凡尼；里卡，弗朗西斯科；Truszczynski，Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型（2020）
4. 杰拉罗，大卫；拉福卡德，帕斯卡；米尼尔，海军陆战队；Solnon，Christine:用约束编程计算AES相关的关键差分特征（2020）
5. 朱玛，纳希德；迪特尔，沃纳；Tripunitara，Mahesh:泛型宇宙类型可调类型推理的计算复杂性分析（2020）
6. 朱蒂拉，汤米；卡帕，马蒂；卡斯基，佩特里；Kohonen，Jukka:对称性缩减的自适应前缀分配技术（2020）
7. 考夫曼，丹妮拉；贝尔，阿明；Kauers，Manuel:使用计算机代数对算术电路进行增量列式验证（2020）
8. 拉涅兹，让-玛丽；伦卡，伊曼纽；马奎斯，皮埃尔：模型计数的可定义性（2020）
9. 李楚民；萧，范；罗、毛；很多à, 费利普；我ü, 志鹏；Li，Yu:CDCL SAT solvers中的单元传播的条款生动化（2020）
10. 奥特普什尼科夫，伊利亚诉。；使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量（2020）
11. 帕什科维奇，坎斯坦钦；Poirrier，Laurent:具有循环偏好的三维稳定匹配（2020）
12. 塞门诺夫，亚历山大；奥特普什尼科夫，伊利亚；格里巴诺娃，伊琳娜；扎金，奥列格；Kochemazov，Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用（2020）
13. 瓦莱德，文森特；勒弗里奥，卢多维奇；巴力，苏黑卜；索皮娜，朱利安；加内什，维杰；Kordon，Fabrice:并行SAT解决的基于社区和LBD的条款共享策略（2020）
14. 乔梅巴赫；布兰特，费利克斯；精神，基督徒；哈伦斯坦，保罗；卡德尔，凯万；彼得斯，多米尼克；Seedig，Hans Georg:（k）–多数有向图和固定人数投票的艰难性（2019）
15. 比恩，基督徒；古德蒙德森，比亚尔基；Ulfarsson，Henning:排列类结构规则的自动发现（2019）
16. 贝尔ĭ, 叶夫根尼娅·根纳德耶夫纳；扫描电镜ënov，Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术（2019）
17. 考尔斯，曼纽尔；塞德尔，玛蒂娜；Zeilberger，Doron:不同DNF重言式中的最大最小立方体长度（2019）
18. 基尔，本杰明；海勒，玛丽安J。H、 。；贝尔，阿明：真理分配作为有条件的自给自足（2019年）
19. 恩戈科，亚尼克；Cé林，克里斯托夫；Denis Trystram：在分布式云中解决SAT：投资组合方法（2019）
20. Semenov，Alexander A.：合并变量：伪布尔优化中的一种搜索技术（2019）