Optimization techniques for BDD-based bisimulation computation.

Ralf Wimmer Marc Herbstritt Bernd Becker

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

efficient computation
website
efficiently computing
database
neural network
genetic algorithm
image processing
bayesian networks
hidden markov models
parallel computation