Login / Signup
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
Edmund M. Clarke
Kenneth L. McMillan
Xudong Zhao
Masahiro Fujita
Jerry Chih-Yuan Yang
Published in:
Formal Methods Syst. Des. (1997)
Keyphrases
</>
boolean functions
uniform distribution
multi valued
threshold functions
relevant variables
dnf formulae
binary decision diagrams
functional properties
prime implicants
membership queries
pseudo boolean functions
multi class
genetic programming
bi decomposition
truth table