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

显示第1到第20个结果,共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)