Minimazation of Binary Decision Diagrams Based on Exchanges of Variables


We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDD’s). In the exact minimization algorithm the o timum order is searched by the exchanges o! variabyes of BDD’s based on the framework of Friedman’s algorithm. The use of BDD representation of a given function and intermediate functions… (More)
DOI: 10.1109/ICCAD.1991.185307


1 Figure or Table


Citations per Year

196 Citations

Semantic Scholar estimates that this publication has 196 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics