Blockwise Variable Orderings for Shared BDDs.

Harry Preuß Anand Srivastav

Published in: MFCS (1998)

Keyphrases

heuristic search
machine learning
information systems
image sequences
real time
neural network
decision trees
three dimensional
pairwise
efficient computation
timed automata