Join-Irreducible Boolean Functions.

Moncef Bouaziz Miguel Couceiro Maurice Pouzet

Published in: Order (2010)

Keyphrases

boolean functions
uniform distribution
prime implicants
dnf formulae
threshold functions
relevant variables
read once formulas
query processing
membership queries
functional properties
linear threshold
pseudo boolean functions
binary decision diagrams
dnf formulas
disjunctive normal form