Improved Variable Ordering for ROBDDs

机译：改进的ROBDD变量排序

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Present here is a novel algorithm for minimization of the Reduced Ordered Binary Decision Diagram (ROBDD) by finding the best variable ordering for any Boolean function. Selection of ordering relation is achieved by considering each sub functions.

机译：这里介绍的是一种新颖的算法，可通过为任何布尔函数找到最佳变量排序来最小化降序二进制决策图（ROBDD）。通过考虑每个子功能来实现顺序关系的选择。

著录项

来源
《6th International Conference on Asian Digital Libraries, ICADL 2003; Dec 8-12, 2003; Kuala Lumpur, Malaysia》|2003年|p.544-547|共4页
会议地点 Kuala Lumpur(MY);Kuala Lumpur(MY)
作者
P.W. Chandana Prasad; M. Maria Dominic; Ashutosh Kumar Singh;
展开▼
作者单位

Faculty of Information Science and Technology Multimedia University, Jalan Ayer Keroh Lama, 75450 , Melaka, Malaysia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类信息与知识传播;
关键词

相似文献

外文文献
中文文献
专利

1. Bound-set preserving ROBDD variable orderings may not be optimum [J] . Teslenko M., Martinelli A., Dubrova E. IEEE Transactions on Computers . 2005,第2期

机译：保留边界集的ROBDD变量排序可能不是最佳的
2. Best ROBDD variable ordering for functions with disjunctive decompositions [J] . Dubrova E.V., Miller D.M. Electronics Letters . 1997,第14期

机译：具有析取分解的函数的最佳ROBDD变量排序
3. Estimation of network reliability using optimal ROBDD approach [J] . Ramana Venkata B., Chatterjee Subhashis, Vishwakarma Gajendra K. Ars Combinatoria: An Australian-Canadian Journal of Combinatorics . 2019,第1期

机译：最优robdd方法估算网络可靠性
4. Improved Variable Ordering for ROBDDs [C] . P.W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh, International Conference on Asian Digital Libraries . 2003

机译：改进了ROBDD的变量排序
5. Improving Methods for Propensity Score Analysis with Mismeasured Variables by Incorporating Background Variables with Moderated Nonlinear Factor Analysis [D] . Greifer, Noah 2018

机译：通过将背景变量与中度非线性因素分析相结合，改进错误计量的倾向得分分析方法
6. Improving the Precision of Ability Estimates Using Time-On-Task Variables: Insights From the PISA 2012 Computer-Based Assessment of Mathematics [O] . Denise Reis Costa, Maria Bolsinova, Jesper Tijmstra, 2021

机译：使用任务时间变量提高能力估计的精度：从PISA 2012计算机对数学评估的洞察力
7. Composition trees in finding best variable orderings for ROBDDs [O] . Elena Dubrova 2002

机译：组合树为ROBDD找到最佳变量排序

Improved Variable Ordering for ROBDDs

摘要

著录项

相似文献

相关主题

期刊订阅