The study of ordered binary decision diagram and its constructing arithmetic

• 有序二叉判定图及其构造算法研究