首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:An Efficient Method for Generating Optimal OBDD of Boolean Functions
  • 本地全文:下载
  • 作者:Ashutosh 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.

国家哲学社会科学文献中心版权所有