Size of ordered binary decision diagrams
โ
K. Hosaka; Y. Takenaga; T. Kaneda; S. Yajima
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 956 KB
An ordered binary decision diagram (OBDD) is a graph representation of a Boolean function. In this paper, the size of ordered binary decision diagrams representing threshold functions is discussed. We consider two cases: the case when a variable ordering is given and the case when it is adaptively c