Sequential Evaluation of Boolean Functions.

Vojin M. Plavsic Per-Erik Danielsson

Published in: IEEE Trans. Computers (1979)

Keyphrases

boolean functions
uniform distribution
randomly generated
membership queries
relevant variables
threshold functions
binary decision diagrams
linear threshold
functional properties
prime implicants
dnf formulae
read once formulas
pseudo boolean functions