The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—In this paper, a slight error in the paper of Bryant [<ref type="bib" rid="bibT12901">1</ref>] is corrected. It was stated in [<ref type="bib" rid="bibT12901">1</ref>] that, under a certain ordering restriction, composition of two Reduced Ordered Binary Decision Diagrams (ROBDDs) results in a reduced OBDD. We show a counterexample and explore under which conditions this statement is incorrect.</p>
Boolean function, Binary Decision Diagram, composition.
Elena Dubrova, Luca Macchiarulo, "A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'", IEEE Transactions on Computers, vol. 49, no. , pp. 1290-1292, November 2000, doi:10.1109/12.895944
94 ms
(Ver 3.3 (11022016))