Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering.

Jan Behrens, Stephan Waack

Browse the full STACS paper archive.