Testing k-Monotonicity: The Rise and Fall of Boolean Functions.

Clément L. Canonne Elena Grigorescu Siyao Guo Akash Kumar Karl Wimmer

Published in: Theory Comput. (2019)

Keyphrases

boolean functions
rise and fall
uniform distribution
relevant variables
threshold functions
dnf formulae
functional properties
prime implicants
disjunctive normal form
read once formulas
decision trees
search algorithm
search space
binary decision diagrams
bi decomposition