Login / Signup

Least Upper Bounds for the Size of OBDDs Using Symmetry Properties.

Laura Heinrich-LitanPaul Molitor
Published in: IEEE Trans. Computers (2000)
Keyphrases
  • upper bound
  • lower bound
  • upper and lower bounds
  • sample size
  • database
  • worst case
  • model checking
  • branch and bound
  • lower and upper bounds