A number of other compact canonical representations exist – see the Wikipedia page.

## Notes related to Binary Decision Diagrams (BDD)

## Papers related to Binary Decision Diagrams (BDD)

- Software model checking [jhala:compsurv:2009]
- HOIST: a system for automatically deriving static analyzers for embedded systems [regehr:asplos:2004]
- Deriving abstract transfer functions for analyzing embedded software [regehr:lctes:2006]