Binary decision diagrams (BDDs)

• “Folded decision tree”

• Fixed variable order

• Many functions have small BDDs

  • Multiplication is a notable exception

• Can represent

  • State machines (transition functions) and
  • Temporal queries

Due to Randy Bryant

Previous slide

Next slide

Back to first slide

View graphic version