Dynamic variable reordering for BDD minimization.

Eric Felt Gary York Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: EURO-DAC (1993)

Keyphrases

database
image processing
real time
data sets
objective function
dynamically changing
data mining
machine learning
social networks
computer vision
decision making
hidden markov models
dynamic environments