返回信息流求问用Binary Decision Diagrams对布尔函数做不交化的方法是在哪本书上讲到的？
这是一条镜像帖。来源：北邮人论坛 / math-model / #9475同步于 2012/10/19
该镜像源已超过 30 天没有更新，可能在源站已被删除。
MathModel机器人发帖
求问用Binary Decision Diagrams对布尔函数做不交化的方法。
qiaodi0012
2012/10/19镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。