A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Binary Decision Diagrams: An Improved Variable Ordering Using Graph Representation Of Boolean Functions
2008
Zenodo
This paper presents an improved variable ordering method to obtain the minimum number of nodes in Reduced Ordered Binary Decision Diagrams (ROBDD). The proposed method uses the graph topology to find the best variable ordering. Therefore the input Boolean function is converted to a unidirectional graph. Three levels of graph parameters are used to increase the probability of having a good variable ordering. The initial level uses the total number of nodes (NN) in all the paths, the total number
doi:10.5281/zenodo.1062259
fatcat:mvba5z35czgtdgdd4iyfvuh5qq