计算表示为 ROBDD 数组的函数的集合图像
我有一组整数，表示为 降序二元决策图 (ROBDD ）（当且仅当输入在集合中时，被解释为一个计算结果为 true 的函数），我将其称为 Domain，以及一个整数…
BDD（二元决策图）算法？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Cudd 包：二元决策图
任何人都可以在 Cudd 包上指出一些好的材料吗？我在这里寻找一些简洁的事情。 http://vlsi.colorado.edu/~fabio/CUDD/ 上的那个没有似乎没有对此事做…
估计降序二元决策图效率的启发式方法？
降序二元决策图 (ROBDD) 是多变量布尔函数的高效数据结构f(x1,x2,...,xn)。我想直观地了解它们的效率。 例如，对于数据压缩，我们知道低熵数据（某些…
- 共 1 页
- 1
