Fast Exact Minimization of BDDs.

Rolf Drechsler Nicole Drechsler Wolfgang Günther

Published in: DAC (1998)

Keyphrases

heuristic search
objective function
decision diagrams
database
real time
artificial intelligence
knowledge base
hidden markov models
multi valued
exact and approximate
binary decision diagrams
minimization problems
set bounds propagation