BDD minimization using symmetries.

Christoph Scholl Dirk Möller Paul Molitor Rolf Drechsler

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

Keyphrases

objective function
boolean functions
artificial neural networks
orders of magnitude
binary decision diagrams
efficient optimization
databases