Ordered binary decision diagrams (OBDDs) have already proved useful for example in the verification of combinational and sequential circuits. But the applications are limited, since the decriptive power of OBDDs is limited. Therefore several more general BDD models are studied. In this paper the so-called Parity-OBDDs are considered. The two polynomial time algorithms given are motivated by the fact that Parity-OBDD representation size essentially depends on the variable ordering. The one decides the equivalence of two Parity-OBDDS of possibly distinct variable ordering. The other one transforms a Parity-OBDD with respect to one variable ordering into an equivalent Parity-OBDD with respect to another preassigned variable ordering. © 1998 Springer-Verlag.
CITATION STYLE
Behrens, J., & Waack, S. (1998). Equivalence test and ordering transformation for parity-OBDDs of different variable ordering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1373 LNCS, pp. 227–237). https://doi.org/10.1007/BFb0028564
Mendeley helps you to discover research relevant for your work.