Login / Signup

Using Lower Bounds During Dynamic BDD Minimization.

Rolf DrechslerWolfgang Günther
Published in: DAC (1999)
Keyphrases
  • lower bound
  • objective function
  • upper bound
  • dynamic environments
  • branch and bound algorithm
  • optimal cost
  • machine learning
  • np hard
  • image restoration
  • regularization term