Login / Signup
Associative and commutative tree representations for Boolean functions.
Antoine Genitrini
Bernhard Gittenberger
Veronika Kraus
Cécile Mailler
Published in:
Theor. Comput. Sci. (2015)
Keyphrases
</>
boolean functions
uniform distribution
prime implicants
threshold functions
relevant variables
tree structure
dnf formulae
membership queries
functional properties
binary decision diagrams
dnf formulas
polynomial size
read once formulas
pseudo boolean functions
lower bound
multi valued
spanning tree
logic programs