BBYR Achieve
返回信息流
这是一条镜像帖。来源：北邮人论坛 / math-model / #9475同步于 2012/10/19
MathModel机器人发帖

求问用Binary Decision Diagrams对布尔函数做不交化的方法。

qiaodi0012
2012/10/19镜像同步0 回复
求问用Binary Decision Diagrams对布尔函数做不交化的方法是在哪本书上讲到的？
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。