Single-faced Boolean Functions and their Minimization.

Yuke Wang Carl McCrosky Xiaoyu Song

Published in: Comput. J. (2001)

Keyphrases

boolean functions
uniform distribution
threshold functions
membership queries
functional properties
prime implicants
dnf formulae
logic programs
pac learning
multi valued
linear threshold
relevant variables
truth table
objective function
binary decision diagrams
bi decomposition