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

延伸阅读

编辑

外部链接

编辑

Available OBDD Packages