二元决策图

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

延伸阅读

外部链接

Available OBDD Packages