Computing the minimum DNF representation of Boolean functions defined by intervals.

Baruch Schieber Daniel Geist Ayal Zaks

Published in: Discret. Appl. Math. (2005)

Keyphrases

boolean functions
functional decomposition
uniform distribution
binary decision diagrams
multi valued
membership queries
threshold functions
disjunctive normal form
prime implicants
functional properties
relevant variables
dnf formulae
linear threshold
monotone boolean functions
learning algorithm
dnf formulas