咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 an improved patt...

机构

  • 1 篇 school of mathem...
  • 1 篇 department of co...

作者

  • 1 篇 chun gu
  • 1 篇 hongbing fan
  • 1 篇 yu-liang wu

语言

  • 1 篇 英文
检索条件"主题词=An Improved Pattern Processing based Heuristic of OBDD Variable Ordering"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
an improved pattern processing based heuristic of obdd variable ordering
An Improved Pattern Processing based Heuristic of OBDD Varia...
收藏
分享
引用
第三届运筹学及其应用国际研讨会
作者： Chun Gu Yu-liang Wu Hongbing Fan Department of Computer Science and Engineering The Chinese University of Hong Kong School of Mathematics and System Sciences Shandong University
Ordered Binary Decision Diagrams（obdds） are efficient representations of Boolean functions and have been widely used in various computer-aided design *** the size of an obdd depends on variable order heavily,it is i... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件