Login / Signup

Effect of improved lower bounds in dynamic BDD reordering.

Rüdiger EbendtRolf Drechsler
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
  • lower bound
  • upper bound
  • dynamic environments
  • branch and bound algorithm
  • upper and lower bounds
  • information systems
  • mobile robot
  • improved algorithm
  • lower and upper bounds
  • optimal cost