Login / Signup

Lower bounds of the size of Shared Structurally Synthesized BDDs.

Raimund UbarDmitri Mironov
Published in: DDECS (2014)
Keyphrases
  • lower bound
  • upper bound
  • objective function
  • running times
  • special case
  • branch and bound
  • worst case
  • branch and bound algorithm
  • data sets
  • computational complexity