On the Complexity of Constructing Optimal OBDD's

Christoph Meinel Anna Slobodová

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1994)

Keyphrases

worst case
space complexity
finding optimal
optimal solution
database
computational cost
model counting
search engine
model checking
dynamic programming
polynomial size
optimal control
boolean functions
lower bound
computational complexity
learning algorithm
databases
data sets
real time