Research Directions in Decision Diagram Technology
Research Directions in Decision Diagram Technology
复制标题
决策图技术研究方向
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Miner, Andrew S.
中科院分区：
文献类型：
--
作者：
Ciardo, Gianfranco;Miner, Andrew S.
登录
查看更多内容
具有指定边缘归约的二元决策图
DOI：
10.1007/978-3-030-17465-1_17
发表时间：
2019
期刊：
Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
Babar, Junaid;Jiang, Chuan;Ciardo, Gianfranco;Miner, Andrew
通讯作者：
Miner, Andrew
使用矩阵图近似结构化连续时间马尔可夫模型的平稳测量
DOI：
--
发表时间：
2007
期刊：
PERV
影响因子：
--
作者：
Gianfranco Ciardo;Andrew S. Miner;Min Wan;A. Yu
通讯作者：
A. Yu
BDD——设计、分析、复杂性和应用
影响因子：
1.1
作者：
I. Wegener
通讯作者：
I. Wegener
二元决策图和零抑制决策图的链约简
DOI：
--
发表时间：
2017
期刊：
Journal of automated reasoning
影响因子：
--
作者：
R. Bryant
通讯作者：
R. Bryant
通过门和输入排序提高电路到 BDD 转换的效率
DOI：
--
发表时间：
2002
期刊：
Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors
影响因子：
--
作者：
F. Aloul;I. Markov;K. Sakallah
通讯作者：
K. Sakallah