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:
DAC (1993)
Keyphrases
</>
boolean functions
uniform distribution
multi valued
threshold functions
relevant variables
prime implicants
functional properties
dnf formulae
membership queries
bi decomposition
pseudo boolean functions
relational databases
np complete
concept learning
read once formulas