• 棱镜

  • 引用395篇文章[sw01186]
  • 引擎:一个符号,使用bdd(二进制决策 图表)和MTBDD(多终端BDD);基于一个。。。
  • 卡德

  • 在147篇文章中引用[sw04446]
  • 包提供操作二进制文件的函数决定 图表(BDDs)[5,3],代数决定 图表(添加。。。零抑制二进制决定 图表(ZDDs)[12]。bdd用于表示交换函数;添加。。。
  • 聚硼

  • 引用了43篇文章[sw00723]
  • 基于零抑制二元多项式决策 图表,它们能够处理这些多项式。。。
  • 费曼图

  • 参考105篇文章[sw06474]
  • 完全通用图表发电机。为了达到这个目的,他实施了一些果断的新想法[Eck95。。。
  • FODD计划员

  • 在14篇文章中引用[sw07747]
  • 一阶概率关系规划决策 图表动态规划算法已成功地应用于。。。使用紧凑的表示法,特别是代数的决策 图表,以捕获域动态和值函数。。。引入了决策 图表并开发了一个数值迭代算法。。。
  • 伙计

  • 参考22篇文章[sw05791]
  • 从简单介绍二进制决定 图表(BDD)到一个完整的BDD包。。。
  • 利伯达

  • 引用8篇文章[sw04096]
  • 操作库决策 图表. 主要特点包括:灵活和强大的编码操作。。。长度决策路径;支持这两种数据决定 图表它们是整数值和层次结构。。。决定 图表...
  • 上云母

  • 参考12篇文章[sw18546]
  • 高效的数据结构,二进制决策 图表,象征性地表示可达状态。模型。。。
  • 偶氮

  • 参考12篇文章[sw04634]
  • 任务可以用二进制来完成决策 图表(BDDs),一个非常流行和有效的数据结构。。。
  • QMDD公司

  • 参考7篇文章[sw12911]
  • QMDD:a决策 图表可逆和量子电路的结构。在本文中,我们提出。。。结构新颖,量子多值决定 图表(QMDD),专门用来表示和操作矩阵。。。多重价值。qmd使用许多常见的决策 图表在魁地普和小说中介绍的技巧、思想。。。
  • STR2

  • 在10篇文章中引用[sw14873]
  • 基于多值的改进算法决策 图表(MDDs),我们表明这两种方法。。。
  • DSSZ-MC公司

  • 参考6篇文章[sw01360]
  • 零抑制二进制的面向实现决定 图表间隔和间隔决定 图表. 主要特点。。。
  • 马戏团

  • 引用9篇文章[sw00128]
  • 标准格式(CNF)子句和二进制决定 图表(BDD)。我们展示如何使用bdd。。。尺寸。如果聚类结果是图表,直接求解SAT实例。否则。。。BDDs。我们还描述了一个新的决策基于识别的变量选择启发式算法。。。
  • STCT

  • 引用9篇文章[sw02293]
  • 整数的实施例决策 图表(IDDs)作为基本数据结构。。。
  • 玛西

  • 引用8篇文章[sw12882]
  • 模型是基于区间的决定 图表. 它们由模拟和近似引擎补充。。。
  • 锡勒克

  • 引用5篇文章[sw23569]
  • 表示法,如真值表或决策 图表. 在这一章中,我们提出了。。。由真值表或决策 图表...
  • 辛西娅

  • 参考7篇文章[sw12933]
  • 启用二进制的干净组合决策 图表用差分界矩阵求一个符号。。。
  • 第二道

  • 参考6篇文章[sw08898号]
  • 并行BDD包。BDD(二进制决策 图表)在正式的验证工具中无处不在。。。
  • 消防员

  • 参考6篇文章[sw10594]
  • 基于二进制的防火墙规则建模决策 图表(BDDs),已经成功地应用于硬件。。。
  • SymChaff公司

  • 参考6篇文章[sw00938]
  • 理论方法,零抑制二进制决策 图表. 我们展示了我们的技术的功效。。。