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

可满足性问题研究
出版社：中国科学院
出版年：2010
作者：贾祥雪
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

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

最大可满足性问题的博弈算法研究
  • 作者：丁陈陈
  • 出版社：中国科学技术大学
  • 出版年：2018
...

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

黑潮入侵南海的可预报性问题研究
  • 作者：梁朋
  • 出版社：中国科学院海洋研究所
  • 出版年：2019