Fast and efficient construction of BDDs by reordering based synthesis.

Andreas Hett Rolf Drechsler Bernd Becker

Published in: ED&TC (1997)

Keyphrases

computer vision
data sets
database
real world
information retrieval
decision trees
artificial neural networks
heuristic search
cost effective
computationally expensive
program synthesis