Lattice-based computation of Boolean functions.

Mustafa Altun Marc D. Riedel

Published in: DAC (2010)

Keyphrases

boolean functions
uniform distribution
prime implicants
threshold functions
read once formulas
membership queries
relevant variables
concept lattice
disjunctive normal form
dnf formulae
machine learning
concept learning
multi valued
dnf formulas
linear threshold
pseudo boolean functions