BDD (Binary Decision Diagram) Algorithm? [closed]

Closed. This question is seeking recommendations for books, tools, software libraries, and more. It does not meet Stack Overflow guidelines. It is not currently accepting answers. 开发者_运维百科

---

We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.

Closed 8 years ago.

Improve this question

Dose anyone know where can i find BDD (Binary Decision Diagram) Algorithm?

---

If you need a graphing tool for visualizing a Truth Table, One tool you should consider is Graphviz. BDD is essentially a graph, and the graphviz package has several built-in algorithms for graphing that you can try. It is also a de-facto graphing in many academic institutions.

BDD example from wikipedia, using graphviz:

---

The very first hit for the google search "BDD algorithm" is the wikipedia page on BDD, which gives an introduction to BDDs and lists several textbooks covering BDD in its Further Reading section.