• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

吕关锋 (吕关锋.) | 苏开乐 (苏开乐.) | 林瀚 (林瀚.) | 骆翔宇 (骆翔宇.) | 陈清亮 (陈清亮.) | 岳伟亚 (岳伟亚.)

收录:

PKU CSCD

摘要:

给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子.

关键词:

BDD 最短路径 符号化算法 连通度

作者机构:

  • [ 1 ] [吕关锋]北京工业大学
  • [ 2 ] [苏开乐]中山大学
  • [ 3 ] [林瀚]中山大学
  • [ 4 ] [骆翔宇]中山大学
  • [ 5 ] [陈清亮]中山大学
  • [ 6 ] [岳伟亚]中山大学

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

中山大学学报(自然科学版)

ISSN: 0529-6579

年份: 2006

期: 1

卷: 45

页码: 20-24

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次: 18

中文被引频次:

近30日浏览量: 3

归属院系:

在线人数/总访问数:1459/2933927
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司