自由排序二元决策图（Free Binary Decision Diagrams，FBDD）【4】是针对受约束的OBDD而言，实 质上是一种非固定排序的BDD，但在任一分支上每个变量只 出现一...
基于4个网页-相关网页
free binary decision diagrams
自由二元决策图
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动