.png){kind=icon}
返回
On variable ordering and decomposition type choice in OKFDDs
.png){kind=icon}
PRE
AI
DOI：10.1109/12.737685.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present methods for the construction of small Ordered Kronecker Functional Decision Diagrams (OKFDDs). OKFDDs are a generalization of Ordered Binary Decision Diagrams (OBDDs) and Ordered Functional Decision Diagrams (OFDDs) as well. Starting with an upper bound for the size of an OKFDD representing a tree-like circuit. we develop different heuristics to find good variable orderings and decomposition types for OKFDDs representing two-level and multilevel circuits, respectively. Experimental results are presented to show the efficiency of our approaches.
Keyword:
decision diagrams
OKFDDs
variable ordering
treelike circuits
期刊
IF:
3.8
论文数:
5.4K
被引数:
9.8K
机构
暂无机构信息
引用论文
.png){kind=icon}
Fused angle-polished multi-points side-pumping coupler for monolithic fiber lasers and amplifiers
PREAI
分享收藏
查看更多内容