您现在的位置: 首页> 研究主题> 可满足性问题

可满足性问题

可满足性问题的相关文献在1989年到2022年内共计134篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、数学 等领域,其中期刊论文113篇、会议论文8篇、专利文献8846篇;相关期刊61种,包括阜阳师范学院学报(自然科学版)、安徽理工大学学报(自然科学版)、电脑知识与技术等; 相关会议8种,包括第32届中国数据库学术会议、第五届江苏计算机大会、2007全国开放式分布与并行计算学术年会等;可满足性问题的相关文献由269位作者贡献,包括殷志祥、王晓峰、唐璞山等。

可满足性问题—发文量

期刊论文>

论文:113 占比:1.26%

会议论文>

论文:8 占比:0.09%

专利文献>

论文:8846 占比:98.65%

总计:8967篇

可满足性问题—发文趋势图

可满足性问题

-研究学者

  • 殷志祥
  • 王晓峰
  • 唐璞山
  • 周电
  • 唐震
  • 常亮
  • 徐扬
  • 荆明娥
  • 许道云
  • 于卓
  • 期刊论文
  • 会议论文
  • 专利文献

搜索

排序:

年份

期刊

作者

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号