文章基本信息

标题：An Efficient Method for Generating Optimal OBDD of Boolean Functions
本地全文：下载
作者：Ashutosh Kumar Singh ; Anand Mohan
期刊名称：Computer and Information Science
印刷版ISSN：1913-8989
电子版ISSN：1913-8997
出版年度：2008
卷号：1
期号：2
页码：56
DOI：10.5539/cis.v1n2P56
出版社：Canadian Center of Science and Education
摘要：An efficient method of finding optimal (OBDD) of an n variable Boolean function is presented that offers a simple and straightforward procedure for optimal OBDD generation along with storage economy. This is achieved by generating n ! fold tables and applying node reduction rules to each fold table directly instead of generating all n ! OBDDs of the function.