Least Upper Bounds an OBDD Sizes.
Mark A. HeapM. Ray MercerPublished in: IEEE Trans. Computers (1994)
Keyphrases
- upper bound
- lower bound
- upper and lower bounds
- lower and upper bounds
- worst case
- boolean functions
- tight upper and lower bounds
- ordered binary decision diagrams
- upper bounding
- branch and bound
- tight bounds
- sample complexity
- branch and bound algorithm
- sample size
- deterministic domains
- generalization error
- error probability
- model checking
- deterministic finite automaton
- active learning