佐藤

SATO:命题可满足性求解器:Davis-Putnam方法是解决命题逻辑可满足性(SAT)问题的主要实用方法之一。在过去的十年中,我们开发了一个非常有效的Davis-Putnam方法的实现,称为SATO。我们的程序的效率使我们能够解决100多个设计理论中的开放拟群问题。我们还使用主从通信模型在网络化工作站上进行了SATO实验。一种简单有效的工作负载平衡方法可以在工作站之间分配工作负载。


zbMATH中的参考文献(参考文献196篇)

显示196项的第1至20项结果。
按年份排序(引用)

1 2 ... 8 9 10 下一个

  1. 范布鲁克,大卫;鸡汤,干面包;附表ö恩伯格,Jö注册护士;马里奥,瓜亚尔多:RobinX:一种用于循环运动时间表的三场分类和统一数据格式(2020)
  2. 黄、裴;刘明浩;葛存菁;妈妈,菲菲;张健:通过可满足性检验研究正交高尔夫设计的存在性(2019)
  3. 恩戈科,亚尼克;Cé林,克里斯托夫;Denis Trystram:在分布式云中解决SAT:投资组合方法(2019)
  4. 程曦;周敏;宋晓宇;顾明;孙佳光:并行化SMT解决:懒惰分解与调解(2018)
  5. 黄、裴;妈妈,菲菲;葛存菁;张健;张汉涛:通过可满足性检验研究大集合幂等拟群的存在性(2018)
  6. 席尔瓦侯爵,乔奥;Malik,Sharad:命题SAT解决(2018)
  7. 你好,汤姆áš; Florian Lonsing:Hordeqbf:模块化大规模并行QBF解算器(2016)
  8. 哈马迪,优素福;南卡罗来纳州贾布尔ïd;南非ïs、 Lakhdar:我们可以从命题满足性的冲突中学到什么(2016)
  9. 李平科;金庆伟:关于双极性极大极小方程组的求解(2016年)
  10. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  11. 张汉涛:可满足性模SAT实验(2016)
  12. 贝尔,阿明;法国öhlich,Andreas:评估CDCL可变评分方案(2015年)
  13. Hyv公司ä里宁,安蒂E。J、 。;马雷斯科蒂,马蒂奥;Sharygina,Natasha:并行化SMT解算器的搜索空间划分(2015)
  14. 艾哈迈德,坦比尔;奥利弗·库尔曼;斯内维尔,亨特:关于范德瓦尔登数(\mathrmw(2;(2014年)
  15. 巴雷特,克拉克;威慑,摩根;德穆拉,莱昂纳多;奥利维拉斯,阿尔伯特;Stump,Aaron:6年SMT-COMP(2013年)ioport公司
  16. 基尼恩,迈克尔;贝罗夫,罗伯特;伏伊特ě乔夫斯克ý, Petr:带阿贝尔内映射群的循环:自动演绎的应用(2013)
  17. 张汉涛;张健:MACE4和SEM:有限模型发生器的比较(2013)
  18. 哈马迪,优素福;南卡罗来纳州贾布尔ïd;南非ïs、 拉赫达尔:从命题可满足性的冲突中学习(2012)
  19. 马丁斯,鲁本;曼奎诺,瓦斯科;林奇,印第安纳州ês: 并行SAT求解综述(2012)
  20. 特里斯卡,马库斯;Musliu,Nysret:针对社会高尔夫球手问题的改进SAT公式(2012)

1 2 ... 8 9 10 下一个