algorithm - BDD（二元决策图）算法？

Question

有人知道我在哪里可以找到 BDD（二元决策图）算法吗？

Answer 1

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

来自 wikipedia的BDD示例，使用 graphviz：

Answer 2

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