The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1992 vol.41)
pp: 661-664
ABSTRACT
<p>The behavior of ordered binary decision diagrams (OBDD) for general Boolean functions is studied. A tight upper bound of (2/sup n//n)(2+ epsilon ) for the worst case OBDD size is derived. Although the size of an OBDD is dependent on the ordering of decision variables, it is shown that almost all functions are not sensitive to variable ordering.</p>
INDEX TERMS
general Boolean functions; ordered binary decision diagrams; tight upper bound; Boolean functions; computational complexity.
CITATION
Heh-Tyan Liaw, Chen-Shang Lin, "On the OBDD-Representation of General Boolean Functions", IEEE Transactions on Computers, vol.41, no. 6, pp. 661-664, June 1992, doi:10.1109/12.144618
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool