Variable Reordering in Binary Decision Diagrams
Variable Reordering in Binary Decision Diagrams
复制标题
二元决策图中的变量重新排序
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Smith, Benjamin
中科院分区：
文献类型：
--
作者：
Jiang, Chuan;Babar, Junaid;Ciardo, Gianfranco;Miner, Andrew S.;Smith, Benjamin
登录
查看更多内容
DOI：
--
发表时间：
1998
期刊：
Universität Trier, Mathematik/Informatik, Forschungsbericht
影响因子：
--
作者：
G. Cabodi;S. Quer;C. Meinel;Harald Sack;A. Slobodová;Christian Stangier
通讯作者：
Christian Stangier
在动态 BDD 最小化期间使用下界
DOI：
--
发表时间：
1999
期刊：
Proceedings - Design Automation Conference
影响因子：
--
作者：
R. Drechsler;Wolfgang Günther
通讯作者：
Wolfgang Günther
动态 BDD 重新排序的下限
DOI：
--
发表时间：
2005
期刊：
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.
影响因子：
--
作者：
Rüdiger Ebendt;R. Drechsler
通讯作者：
R. Drechsler
有序二元决策图的重排序操作和图组合的扩展框架
DOI：
--
发表时间：
1994
期刊：
International Symposium on Algorithms and Computation
影响因子：
--
作者：
S. Tani;H. Imai
通讯作者：
H. Imai
十年饱和：Petri 网视角
DOI：
10.1007/978-3-642-29072-5_3
发表时间：
2012
期刊：
Trans. Petri Nets Other Model. Concurr.
影响因子：
--
作者：
Gianfranco Ciardo;Yang Zhao;Xiaoqing Jin
通讯作者：
Xiaoqing Jin