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

文章基本信息

  • 标题:An Algorithm for Affine Approximation of Binary Decision Diagrams
  • 本地全文:下载
  • 作者:Kevin Henshall ; Peter Schachte ; Harald Søndergaard
  • 期刊名称:Chicago Journal of Theoretical Computer Science
  • 印刷版ISSN:1073-0486
  • 出版年度:2010
  • 卷号:2010
  • 出版社:MIT Press ; University of Chicago, Department of Computer Science
  • 摘要:

    This paper is concerned with the problem of Boolean approximation in the following sense: given a Boolean function class and an arbitrary Boolean function, what is the function's best proxy in the class? Specifically, what is its strongest logical consequence (or envelope ) in the class of affine Boolean functions. We prove various properties of affine Boolean functions and their representation as ROBDDs. Using these properties, we develop an ROBDD algorithm to find the affine envelope of a Boolean function.

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