佐藤

萨托:命题可满足性的求解器:戴维斯-普特南方法是命题逻辑可满足性(SAT)问题的主要实用方法之一。在过去的十年中,我们开发了一种非常有效的Davis Putnam方法,称为SATO。我们的程序的效率允许我们在设计理论中解决超过一百个开放的准群问题。我们还通过使用主从通信模型对SATO在网络工作站上进行了实验。一种简单有效的工作负载平衡方法在工作站间分配工作负荷。


ZBMaCT中的参考文献(194篇文章中引用)

显示结果1至20的194。
按年份排序(引文
  1. van Bulck,戴维;GooSSES,Dres;Sh Onnbj,Jo.Rn;瓜哈尔多,马里奥:Robix:一个三场分类和统一数据格式的循环运动排课(2020)
  2. 程,奚;周,闽;宋,Xiaoyu;顾,明;孙,夹谷昂:并行化SMT求解:懒惰分解与调和(2018)
  3. 黄,裴;马,飞飞;葛,坤景;张,吉安;张,Hantao:通过可满足性检验研究大集幂等准群的存在性(2018)
  4. Marques Silva,Joao;马利克,撒拉德:命题SAT求解(2018)
  5. 鲍约,汤姆斯,Lonsing,弗洛里安:Hordeqbf:一个模块化的大规模并行QBF求解器(2016)
  6. Hamadi,约瑟夫,贾布尔,萨伊斯,拉赫达尔:从命题可满足性的冲突中我们能学到什么(2016)
  7. 李,Pingke;靳,Qingwei:关于双极Max Min方程的解法。(2016)
  8. TrISKA,Markus:SWI PROlog(系统描述)的布尔约束求解器(2016)
  9. 张,Hantao:可满足性模SAT(2016)的实验
  10. Biere,Armin;Fr O'HLICH,安德烈亚斯:CCDCL变量评分方案的评价(2015)
  11. Hyv Antti E. J.,MaReStTi,Matteo;Syigina,娜塔莎:用于并行化SMT求解器的搜索空间划分(2015)
  12. 艾哈迈德,Tanbir;库尔曼,奥利弗;狡猾,猎人:van der Waerden数(\ MaTrMW(2;3,t))(2014)
  13. 巴雷特,克拉克;威慑,摩根;de Moura,列奥纳多;奥利维拉斯,艾伯特;残肢,亚伦:6年的SMT-COMP(2013)伊波尔特
  14. Kinyon,米迦勒;Veroff,罗伯特;Vojt Couvsk,PeTR:带Abeli-内映射组的循环:自动演绎的应用(2013)
  15. 张,韩涛;张,简:MaCe4和SEM:有限模型生成器的比较(2013)
  16. Hamadi,约瑟夫,贾布尔,萨伊斯,拉赫达尔:从命题可满足性的冲突中学习(2012)
  17. 马丁斯,Ruben;Mangkimo,VasCO;Lynce,S:并行SAT解决方案综述(2012)
  18. TrISKA,Markus;MuSu,NysReT:社会高尔夫问题的改进SAT公式(2012)
  19. Gebser,马丁;考夫曼,本杰明;卡明斯基,罗兰;Ostrowski,马克斯;Suab,TrStand;PoassCo:波茨坦解答集解答(2011)
  20. 卡斯特罗,霍尔迪:受控表格调整的启发式块坐标下降法(2011)