Login / Signup

Decomposition Techniques for Efficient ROBDD Construction.

Jawahar JainAmit NarayanC. CoelhoSunil P. KhatriAlberto L. Sangiovanni-VincentelliRobert K. BraytonMasahiro Fujita
Published in: FMCAD (1996)
Keyphrases
  • data sets
  • information retrieval
  • search engine
  • knowledge base
  • case study
  • database systems
  • lightweight
  • cost effective
  • efficient computation