Fast exact minimization of BDD's.

Rolf Drechsler Nicole Drechsler Wolfgang Günther

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)

Keyphrases

artificial intelligence
boolean functions
objective function
databases
global minimization
error function
brute force
hidden markov models
website
expert systems
special case
image processing
computer vision
neural network
binary decision diagrams
half quadratic
data sets