Title | ||
---|---|---|
Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries |
Abstract | ||
---|---|---|
We present a method computing a minimum sized partition of the variables of an incompletely specified Boolean function into symmetric groups. The method can be used during minimization of ROBDDs of incompletely specified Boolean functions. We apply it as a preprocessing step of symmetric sifting presented by Panda (1994) and Moller (1994) and of techniques for ROBDD minimization of incompletely specified Boolean functions presented by Chang (1994) and Shiple (1994). The technique is shown to be very effective: it improves ROBDD sizes of symmetric sifting by a factor of 51% and by a factor of 70% in combination with a slightly modified version of the technique of Chang and Shiple. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/EDTC.1997.582364 | EDTC '97 Proceedings of the 1997 European conference on Design and Test |
Keywords | Field | DocType |
boolean function,partitioning,incompletely specified boolean function,symmetric sifting,boolean functions,minimizing robdd sizes,strong symmetries,incompletely specified boolean functions,preprocessing step,robdd minimization,reduced order binary decision diagram,robdd size minimization,symmetric group,robdd size | Topology,Computer science | Conference |
ISSN | ISBN | Citations |
1066-1409 | 0-8186-7786-4 | 15 |
PageRank | References | Authors |
0.89 | 22 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
C. Scholl | 1 | 53 | 2.84 |
S. Melchior | 2 | 15 | 0.89 |
Günter Hotz | 3 | 15 | 0.89 |
P. Molitor | 4 | 211 | 18.50 |