Login / Signup

A variable reordering method for fast optimization of binary decision diagrams.

MoonBae SongHoon Chang
Published in: Asian Test Symposium (1997)
Keyphrases
  • optimization algorithm
  • optimization method
  • binary decision diagrams
  • objective function
  • data structure
  • dynamic programming
  • database
  • knowledge base
  • preprocessing