Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering
Authors:
Jan Behrens;Stephan Waack
Affiliations:
-;-
Venue:
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Year:
1998
Citing
0
Cited
1
The computational complexity of equivalence and isomorphism problems
The computational complexity of equivalence and isomorphism problems
Quantified Score
Hi-index
0.00
Visualization
Abstract