Sign in
Global rebuilding of OBDD's avoiding memory requirement maxima.
Jochen Bern
Christoph Meinel
Anna Slobodová
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1996)
Keyphrases
</>
memory requirements
memory space
computational complexity
storage requirements
model checking
multiscale
memory usage
global information
state space
computational power
computational speed