跳转到内容

二元决策图

本页使用了标题或全文手工转换
维基百科,自由的百科全书

计算机科学中,二元决策图(英语:binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构

延伸阅读

[编辑]

外部链接

[编辑]

Available OBDD Packages