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

显示第41到60个结果,共69个。
按年份排序(引用)
  1. 巴约,汤姆訙;贝尔,阿明;伊瑟,马库斯;辛兹,卡斯滕:2015年SAT比赛(2016年)
  2. 比什尔,伯纳德;科施克,帕斯卡;考特霍夫,拉尔斯;林道尔,马吕斯;马利茨基,尤里;弗雷谢特,亚历山德拉;霍斯,霍尔格;赫特,弗兰克;凯文·莱顿·布朗;蒂尔尼,凯文;Vanschoren,Joaquin:ASlib:算法选择的基准库(2016)
  3. 多利夫,丹尼;海尔詹科,凯约;马尔维萨洛,马蒂;Korhonen,Janne H。;伦岑,克里斯托夫;瑞比奇,乔尔;索米拉,朱卡;Wieringa,Siert:同步计数和计算算法设计(2016)
  4. 海勒,玛丽安J。H、 。;奥利弗·库尔曼;Marek,Victor W.:通过立方体和征服解决和验证布尔毕达哥拉斯三元组问题(2016)
  5. 基尔,本杰明;塞德尔,玛蒂娜;汤姆皮茨,汉斯;Biere,Armin:超级封锁条款(2016)
  6. 梁家辉;加内什,维杰;帕斯卡,波帕斯特;Czarnecki,Krzysztof:SAT解算器基于学习速率的分支启发式(2016)
  7. 曼蒂,诺伯特;Lindauer,Marius:Spybug:SAT解算器配置空间中的自动缺陷检测(2016)
  8. 菲利浦,托比亚斯;Rebola Pardo,Adrián:异或推理的DRAT证明(2016)
  9. 赛科,保罗;贝格,耶利米亚斯;Järvisalo,Matti:LMHS:A SAT-IP混合maxsat解算器(2016)
  10. 扎金,奥列格;朱拉夫列夫,亚历克赛;科切马佐夫,斯特潘;Vatutin,Eduard:关于10阶对角拉丁方三元组的构造(2016)
  11. 安索特吉,卡洛斯;吉尔德兹克鲁,杰斯;利维,乔迪;Simon,Laurent:使用社区结构来检测相关的学习条款(2015)
  12. Aín,Roberto:评论:“基于课程的课程时间表概述”(2015)
  13. 巴约,汤姆訙;桑德斯,彼得;Sinz,Carsten:Hordsat:大规模平行投资组合SAT解算器(2015)
  14. 贝尔,阿明;Fröhlich,Andreas:评估CDCL可变评分方案(2015)
  15. 伯查德,一月;舒伯特,托比亚斯;Becker,Bernd:用于并行SAT解决的自由放任缓存(2015)
  16. 福克纳,斯特凡;林道尔,马吕斯;Hutter,Frank:\texttspysmac:SAT解算器的自动配置和性能分析(2015)
  17. 海勒,玛丽安J。H、 。;Szeider,Stefan:SAT方法研究集团宽度(2015)
  18. 伊瑟,马库斯;曼蒂,诺伯特;Sinz,Carsten:CNF公式中嵌套门的识别(2015)
  19. 鲍里科涅夫;Lisitsa,Alexei:Erdős差异特性的计算机辅助证明(2015)
  20. 哦,Chanseok:SAT和UNSAT之间:CDCL SAT的根本区别(2015)