咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学

机构

  • 1 篇 university of ci...

作者

  • 1 篇 john franco

语言

  • 1 篇 英文
检索条件"任意字段=Guangzhou Symposium on Satisfiability and its Applications"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
The Probabilistic Analysis of Algorithms for the satisfiability Problem
The Probabilistic Analysis of Algorithms for the Satisfiabil...
收藏
分享
引用
guangzhou symposium on satisfiability and its applications
作者： John Franco University of Cincinnati
＜正＞ Highlights of advancements in the area of probabilistic analysis of algorithms for satisfiability through the 1980s, 1990s, and recently, are discussed. Reasons for such results being of interest from the persp...
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件