On the evolution of the worst-case OBDD size.

Clemens Gröpl Hans Jürgen Prömel Anand Srivastav

Published in: Inf. Process. Lett. (2001)

Keyphrases

worst case
upper bound
space complexity
running times
average case
lower bound
maximum number
error bounds
constant factor
evolution process
temporal evolution
model checking
neural network
domain specific
np hard
information systems
learning algorithm
machine learning