Optimizing OBDDs Is Still Intractable for Monotone Functions.

Kazuo Iwama Mitsushi Nouzoe Shuzo Yajima

Published in: MFCS (1998)

Keyphrases

boolean functions
uniform distribution
np complete
monotone boolean functions
computer vision
computational complexity
model checking
decision diagrams
upper bound
linear combination
basis functions
disjunctive normal form