10.3778/j.issn.1673-9418.2009.03.008
利用OBDD编码的快速二值图算法
有序二元判定图、二值图、集合运算
3
TP301.6(计算技术、计算机技术)
The National Grand Fundamental Research 973 Program of China under Grant No.2005CB321900 国家重点基础研究发展973项目;the National Science Foundation for Distinguished Young Scholars of China under Grant No.60725207;the International Joint Research Project of National Science Foundation under Grant No.60911130005;the Startup Research Fund for Introduced Talents in Jinan University;the Start-up Research Fund for Introduced Talents in Beijing University of Technology;the Discipline and Graduate Education Development Project Fund of Beijing Education Committee;the Distinguished Young Reseacher Nurturing Program in Univeristies of Guangdong under Grant No.LYM080172008广东高校优秀青年创新人才培育项目
2009-06-17(万方平台首次上网日期,不代表论文的发表时间)
共6页
303-308