Speeding up Variable Reordering of OBDDs.

Christoph Meinel Anna Slobodová

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)

Keyphrases

boolean functions
model checking
artificial intelligence
social networks
multimedia
decision trees
three dimensional
artificial neural networks
probabilistic model
knowledge representation
medical images
continuous variables