Login / Signup

NC-Algorithms for Operations on Binary Decision Diagrams.

Detlef SielingIngo Wegener
Published in: Parallel Process. Lett. (1993)
Keyphrases
  • orders of magnitude
  • binary decision diagrams
  • data structure