Login / Signup

Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.

Beate BolligIngo Wegener
Published in: J. Comput. Syst. Sci. (2000)
Keyphrases
  • asymptotically optimal
  • asymptotic optimality
  • boolean functions
  • optimal solution
  • np complete
  • model checking
  • ordered binary decision diagrams