Incremental reduction of binary decision diagrams
(1991) 1991 IEEE International Sympoisum on Circuits and Systems (Cat. No.91CH3006-4) — Location: , Singapore (11.June.1991)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- A new method is presented to reduce the number of nodes of a binary decision diagram (BDD) after its construction, which the authors call incremental reduction. It is based on an algorithm that swaps two adjacent variables in the BDD ordering. The initial ordering is obtained by an algorithm. Experiments have shown that an average reduction of 20% on the number of nodes of these initial BDDs can be achieved with the authors' method.
- Affiliations
Citations
Jacobi, R., Calazans, N., & Trullemans, C. (1991). Incremental reduction of binary decision diagrams. 1991 IEEE International Sympoisum on Circuits and Systems (Cat.No.91CH3006-4), Vol. 5, p. 3174-7. https://doi.org/10.1109/ISCAS.1991.176226