Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.

Macha Nikolskaïa Antoine Rauzy David James Sherman

Published in: FMCAD (1998)

Keyphrases

preprocessing
computational cost
database
data sets
significant improvement
special case
simulated annealing
machine learning methods
data structure
search algorithm
benchmark datasets
qualitative and quantitative
practical problems