Login / Signup

Size and Variable Ordering of OBDDs Representing Treshold Functions.

Yasuhiko TakenagaMitsushi NouzoeShuzo Yajima
Published in: COCOON (1997)
Keyphrases
  • variable ordering
  • branch and bound algorithm
  • np hard
  • conflict directed
  • max sat
  • expert systems
  • computational complexity
  • upper bound
  • branch and bound
  • lower bound
  • temporal logic
  • boolean functions