Login / Signup

Improving Reliability Calculation with Augmented Binary Decision Diagrams.

Johannes Ulrich Herrmann
Published in: AINA (2010)
Keyphrases
  • binary decision diagrams
  • symbolic model checking
  • boolean functions
  • variable ordering
  • data sets
  • databases
  • objective function
  • data structure
  • model checking
  • knowledge compilation