佐藤

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


zbMATH参考文献(195篇文章引用)

显示第195至第20个结果。
按年份排序(引用)

1 2 ... 8 9 10 下一个

  1. 大卫·范布鲁克;古森,德里斯;舍恩伯格,约恩;瓜亚尔多,马里奥:一个三场分类和循环运动时间表统一数据格式(2020年)
  2. Ngoko,Yanik;Cérin,Christophe;Trystram,Denis:在分布式云中解决SAT:投资组合方法(2019)
  3. 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018)
  4. 黄,裴;马,菲菲;葛存菁;张健;张汉涛:通过可满足性检验研究大集幂等拟群的存在性(2018)
  5. Marques Silva,Joao;Malik,Sharad:命题SAT解决(2018)
  6. Balyo,Tomš;Lonsing,Florian:Hordeqbf:模块化和大规模并行QBF解算器(2016)
  7. 哈马迪,尤瑟夫;贾布尔,萨伊德;赛斯,拉赫达尔:我们可以从命题满足性的冲突中学到什么(2016)
  8. 李平科;金庆伟:关于双极性极大极小方程的求解。(2016年)
  9. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  10. 张汉涛:可满足性模SAT实验(2016)
  11. Biere,Armin;Fröhlich,Andreas:评估CDCL可变评分方案(2015)
  12. Hyvärinen,Antti E.J.;Marescotti,Matteo;Sharygina,Natasha:并行化SMT解算器的搜索空间划分(2015)
  13. Ahmed,Tanbir;Kullmann,Oliver;Snevily,Hunter:论范德瓦尔登数(\mathrmw(2;3,t))(2014)
  14. 克拉克•巴雷特;摩根•德斯特尔斯;莱昂纳多•德莫拉;艾伯特•奥利维拉;艾伦•斯顿普:6年SMT-COMP(2013年)ioport公司
  15. Kinyon,Michael;Veroff,Robert;Vojtěchovský,Petr:abelian内映射群的循环:自动演绎的应用(2013)
  16. 张汉涛;张健:MACE4和SEM:有限模型发生器的比较(2013)
  17. 哈马迪,尤瑟夫;贾布尔,萨伊德;萨伊斯,拉赫达尔:从命题满足性的冲突中学习(2012)
  18. Martins,Ruben;Manquinho,Vasco;Lynce,Inès:并行SAT解决概述(2012)
  19. Triska,Markus;Musliu,Nysret:针对社会高尔夫球手问题的改进SAT公式(2012)
  20. 马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗夫斯基;肖布、托尔斯滕;施耐德、马吕斯:Potasco:波茨坦答案集解题集(2011)

1 2 ... 8 9 10 下一个