Login / Signup

Global rebuilding of OBDD's avoiding memory requirement maxima.

Jochen BernChristoph MeinelAnna 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