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

显示第1到第20个结果,共44个。
按年份排序(引用)
  1. 阿拉姆,贾瓦赫鲁尔医学博士。;贝科斯,迈克尔A。;杜杰莫维奇,维达;格罗内曼,马丁;考夫曼,迈克尔;普皮耶夫,谢尔盖:关于可分散的书籍嵌入(2021)
  2. 海勒,玛丽安J。H、 。;考尔斯,曼纽尔;Seidl,Martina:乘法(3倍3)-矩阵的新方法(2021)
  3. 朱玛,纳希德;迪特尔,沃纳;Tripunitara,Mahesh:泛型宇宙类型可调类型推理的计算复杂性分析(2020)
  4. 朱蒂拉,汤米;卡帕,马蒂;卡斯基,佩特里;自适应对称性约简(适用于Kohan 2020的自适应对称性缩减技术)
  5. 考夫曼,丹妮拉;贝尔,阿明;Kauers,Manuel:使用计算机代数对算术电路进行增量列式验证(2020)
  6. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  7. 奥特普什尼科夫,伊利亚诉。;使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量(2020)
  8. 帕什科维奇,坎斯坦钦;Poirrier,Laurent:具有循环偏好的三维稳定匹配(2020)
  9. 塞门诺夫,亚历山大;奥特普什尼科夫,伊利亚;格里巴诺娃,伊琳娜;扎金,奥列格;Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020)
  10. 瓦莱德,文森特;勒弗里奥,卢多维奇;巴力,苏黑卜;索皮娜,朱利安;加内什,维杰;Kordon,Fabrice:并行SAT解决的基于社区和LBD的条款共享策略(2020)
  11. 巴赫梅尔,乔治;布兰特,费利克斯;精神,基督徒;哈伦斯坦,保罗;卡德尔,凯万;彼得斯,多米尼克;Seedig,Hans Georg:(k)–多数有向图和固定人数投票的艰难性(2019)
  12. 比恩,基督徒;古德蒙德森,比亚尔基;Ulfarsson,Henning:排列类结构规则的自动发现(2019)
  13. 贝勒,叶夫根尼娅·根纳德耶夫纳;Semënov,Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术(2019)
  14. 考尔斯,曼纽尔;塞德尔,玛蒂娜;Zeilberger,Doron:不同DNF重言式中的最大最小立方体长度(2019)
  15. 基尔,本杰明;海勒,玛丽安J。H、 。;贝尔,阿明:真理分配作为有条件的自给自足(2019年)
  16. Semenov,Alexander A.:合并变量:伪布尔优化中的一种搜索技术(2019)
  17. 托内洛,Elisa;法科特,艾蒂安;Chaouiya,Claudine:布尔网络中的局部负电路和循环吸引子(2019)
  18. 程曦;周敏;宋晓宇;顾明;孙佳光:并行化SMT解决:懒惰分解与调解(2018)
  19. 埃根斯佩格,凯瑟琳;林道尔,马吕斯;霍斯,霍尔格H。;赫特,弗兰克;Leyton Brown,Kevin:通过基于模型的代理对算法配置器进行有效的基准测试(2018)
  20. 梁家辉;哦,钱塞;马修,米努;托马斯,西扎;李春晓;Ganesh,Vijay:CDCL SAT solvers基于机器学习的重启策略(2018)