登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

最大可满足性问题的博弈算法研究
出版社：中国科学技术大学
出版年：2018
作者：丁陈陈
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

可满足性问题研究
  • 作者：贾祥雪
  • 出版社：中国科学院
  • 出版年：2010
...

命题逻辑的可满足性问题：复杂性和算法
  • 作者：卜东波
  • 出版年：1997
...

可满足性问题和图染色的一些研究
  • 作者：李韶华
  • 出版社：中国科学院
  • 出版年：2005
...

基于可满足性问题的形式验证技术研究
  • 作者：赵阳
  • 出版年：2008
...

关于可满足性问题的一些研究及其在模型检测中的应用
  • 作者：陈伟
  • 出版社：中国科学院
  • 出版年：2010
...

强化学习算法的鲁棒性问题研究
  • 作者：郭家明
  • 出版社：中国科学院计算技术研究所
  • 出版年：2023