• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

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

Indexed by:

PKU CSCD

Abstract:

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

Keyword:

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

Author Community:

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

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

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

ISSN: 0529-6579

Year: 2006

Issue: 1

Volume: 45

Page: 20-24

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count: 18

Chinese Cited Count:

30 Days PV: 25

Affiliated Colleges:

Online/Total:377/10554390
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.