Complexity and Limiting Ratio of Boolean Functions over Implication.

Hervé Fournier Danièle Gardy Antoine Genitrini Bernhard Gittenberger

Published in: MFCS (2008)

Keyphrases

boolean functions
uniform distribution
polynomial size
prime implicants
membership queries
bounded treewidth
relevant variables
dnf formulae
threshold functions
multi valued
binary decision diagrams
functional properties
computational complexity
worst case
linear threshold
disjunctive normal form