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

Beate Bollig Ingo Wegener

Published in: Electron. Colloquium Comput. Complex. (1999)

Keyphrases

asymptotically optimal
asymptotic optimality
boolean functions
model checking
arrival rate
ordered binary decision diagrams
multi agent systems
multi dimensional
np complete