Boolean Functions for Finite-Tree Dependencies.

Roberto Bagnara Enea Zaffanella Roberta Gori Patricia M. Hill

Published in: LPAR (2001)

Keyphrases

boolean functions
uniform distribution
multi valued
threshold functions
prime implicants
relevant variables
dnf formulae
functional properties
tree structure
membership queries
read once formulas
linear threshold
disjunctive normal form
binary decision diagrams
spanning tree
learning algorithm
truth table