SIA OpenIR  > 工业信息学研究室  > 工业控制系统研究室
二叉判定图最优化算法研究综述
Alternative TitleOverview on the Research of Binary Decision Diagrams Optimization
王明全; 于海斌; 王宏
Department工业控制系统研究室
Source Publication信息与控制
ISSN1002-0411
2004
Volume33Issue:5Pages:567-572
Indexed ByCSCD
CSCD IDCSCD:1702224
Contribution Rank1
Keyword二叉判定图 解最优化算法 情况精确排序算法 动态启发式排序算法
Abstract对近年来二叉判定图 (BDD)最优化算法的成果和发展趋势进行了综述和讨论 ,重点介绍精确排序算法和动态启发式排序算法 .给出了BDD优化算法的改进建议 :用不完全枚举法的优势和随机过程动态规划策略改进BDD优化算法 .
Other AbstractThis paper overviews  the achievements and develepment trends of binary decision diagrams(BDD) optimization, focusing on exact ordering algorithm and dynamic heuristic ordering algorithm, and some proposals are given to improve the BDD optimization algorithm: taking advantage of non-complete enumerating method and utilizing the strategy of stochastic process dynamic programming.
Language中文
Citation statistics
Document Type期刊论文
Identifierhttp://ir.sia.cn/handle/173321/5382
Collection工业信息学研究室_工业控制系统研究室
Corresponding Author王明全
Affiliation1.中国科学院沈阳自动化研究所
2.中国科学院研究生院
Recommended Citation
GB/T 7714
王明全,于海斌,王宏. 二叉判定图最优化算法研究综述[J]. 信息与控制,2004,33(5):567-572.
APA 王明全,于海斌,&王宏.(2004).二叉判定图最优化算法研究综述.信息与控制,33(5),567-572.
MLA 王明全,et al."二叉判定图最优化算法研究综述".信息与控制 33.5(2004):567-572.
Files in This Item:
File Name/Size DocType Version Access License
XXYK200405011.pdf(160KB) 开放获取CC BY-NC-SAView Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[王明全]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Baidu academic
Similar articles in Baidu academic
[王明全]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[王明全]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: XXYK200405011.pdf
Format: Adobe PDF
This file does not support browsing at this time
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.