On maximal QROBDD's of Boolean functions.

Jean-Francis Michon Jean-Baptiste Yunès Pierre Valarcher

Published in: RAIRO Theor. Informatics Appl. (2005)

Keyphrases

boolean functions
uniform distribution
randomly generated
membership queries
dnf formulae
threshold functions
relevant variables
multi valued
prime implicants
pseudo boolean functions
functional properties
polynomial size
bi decomposition
read once formulas
linear threshold
truth table
binary decision diagrams