Login / Signup

Variable ordering algorithms for ordered binary decision diagrams and their evaluation.

Masahiro FujitaHisanori FujisawaYusuke Matsunaga
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)
Keyphrases
  • variable ordering
  • orders of magnitude
  • ordered binary decision diagrams
  • deterministic finite automaton
  • search algorithm
  • relational databases
  • optimization problems
  • branch and bound algorithm