Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions

Drechsler R.; Becker B.

首页> 外文期刊>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems >Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions

【24h】

Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions

机译：有序Kronecker功能决策图-用于表示和操作布尔函数的数据结构

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Ordered Kronecker functional decision diagrams (OKFDD's) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD's are a generalization of ordered binary decision diagrams (OBDD)s) and ordered functional decision diagrams and thus combine the advantages of both. In this paper, basic properties of OKFDD's and their efficient representation and manipulation are given. Starting with elementary manipulation algorithms, we present methods for the construction of small OKFDD's. Our approach is based on dynamic variable ordering and decomposition-type choice. For changing the decomposition type, we use an efficient reordering-based method. We briefly discuss the implementation of PUMA, an OKFDD package, which was used in all our experiments. These experiments demonstrate the quality of our methods in comparison to sifting and interleaving for OBDD's.

机译：有序的Kronecker功能决策图（OKFDD）是一种用于高效表示和操作布尔函数的数据结构。 OKFDD是有序二进制决策图（OBDD）和有序功能决策图的综合，因此结合了两者的优点。在本文中，给出了OKFDD的基本属性以及它们的有效表示和操作。从基本操作算法开始，我们介绍了构建小型OKFDD的方法。我们的方法基于动态变量排序和分解类型选择。为了更改分解类型，我们使用了一种有效的基于重新排序的方法。我们简要讨论了在所有实验中都使用的OKFDD软件包PUMA的实现。与OBDD的筛选和交织相比，这些实验证明了我们方法的质量。

著录项

来源
《IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems》 |1998年第10期|P.965-973|共9页
作者
Drechsler R.; Becker B.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类微电子学、集成电路（IC）;
关键词

相似文献

外文文献
中文文献
专利

1. Symbolic method for simplifying AND-EXOR representations of Boolean functions using a binary-decision technique and a genetic algorithm [J] . Thomson P., Miller J.F. IEE proceedings. Part E . 1996,第2期

机译：使用二进制决策技术和遗传算法简化布尔函数的AND-EXOR表示的符号方法
2. Probabilistic manipulation of Boolean functions using free Boolean diagrams [J] . Shen A., Devadas S. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1995,第1期

机译：使用自由布尔图对布尔函数进行概率操作
3. 4 '-Functionalized 2,2 ':6 ',2 ''-terpyridines as the (NN)-N-boolean AND domain in [Ir((CN)-N-boolean AND)2((NN)-N-boolean AND)][PF6] complexes [J] . Ris Daniel P., Schneider Gabriel E., Ertl Cathrin D., Journal of Organometallic Chemistry . 2016,第Null期

机译：在[Ir（（CN）-N-布尔AND）2（（NN）-N-布尔值）中的（NN）-N-布尔AND域为4'-功能化的2,2'：6'，2''-吡啶AND）] [PF6]配合物
4. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions [C] . Xuanxiang Huang, Kehang Fang, Liangda Fang, AAAI Conference on Artificial Intelligence . 2019

机译：Bi-Kronecker功能决策图：布尔函数的新规范表示
5. Genomic data mining enhanced by symbolic manipulation of Boolean functions. [D] . Yoon, Sungroh. 2006

机译：通过布尔函数的符号操作增强了基因组数据挖掘。
6. Functional classification of protein structures by local structure matching in graph representation [O] . Caitlyn L. Mills, Rohan Garg, Joslynn S. Lee, 2018

机译：通过图形表示中的局部结构匹配对蛋白质结构进行功能分类
7. On the “Q ” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure [O] . Robert Wille, Rolf Drechsler 2014

机译：关于QmDD中的“Q”：QmDD数据结构中量子功能的有效表示

Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions

摘要

著录项

相似文献

相关主题

期刊订阅