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

Beate Bollig Ingo Wegener

Published in: ICALP (2000)

Keyphrases

asymptotically optimal
asymptotic optimality
upper bound
boolean functions
computational complexity
arrival rate
information systems
np hard
multi dimensional
model checking
heavy traffic