Reduction of OBDDs in Linear Time.

Detlef Sieling Ingo Wegener

Published in: Inf. Process. Lett. (1993)

Keyphrases

worst case
boolean functions
model checking
digital libraries
data reduction
decision diagrams
genetic algorithm
case study
face recognition
bayesian networks
lower bound
multiresolution
upper bound
efficient computation
reduction method