Login / Signup

Exact OBDD Bounds for Some Fundamental Functions.

Beate BolligNiko RangeIngo Wegener
Published in: Theory Comput. Syst. (2010)
Keyphrases
  • upper bound
  • lower bound
  • case study
  • worst case
  • basis functions
  • model checking
  • lower and upper bounds
  • data sets
  • brute force
  • upper and lower bounds
  • statistical queries
  • ordered binary decision diagrams