BDD（二进制决策图）算法？

Question

任何人都知道在哪里可以找到BDD（二元决策图）算法？

Answer 1

如果您需要用于可视化真值表的图表工具，您应该考虑的一个工具是Graphviz。 BDD本质上是一个图表，graphviz包有几个内置的图表算法，您可以尝试。它也是许多学术机构的事实图表。

BDD example from wikipedia，使用graphviz：

Answer 2

谷歌搜索“BDD算法”的第一个热门是维基百科page on BDD，它介绍了BDD，并在其进一步阅读部分列出了几本涵盖BDD的教科书。