Minimization of free BDDs.

Wolfgang Günther Rolf Drechsler

Published in: Integr. (2002)

Keyphrases

heuristic search
objective function
binary decision diagrams
knowledge compilation
databases
neural network
search algorithm
multi agent systems
image restoration
efficient optimization
timed automata