Sign in

Speeding up Variable Reordering of OBDDs.

Christoph MeinelAnna Slobodová
Published in: ICCD (1997)
Keyphrases
  • boolean functions
  • model checking
  • neural network
  • temporal logic
  • video sequences
  • support vector
  • relational databases
  • ordered binary decision diagrams