Mod-2-OBDDs—a data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams

Ordered binary decision diagrams

Logic Synthesis and Verification

Data structures for Boolean functions

Computational Discrete Mathematics

Lower bounds for linearly transformed OBDDs and FBDDs

Journal of Computer and System Sciences

Algebraic an Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds

MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science

Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract)

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science

Lower bounds for restricted read-once parity branching programs

Theoretical Computer Science

The computational complexity of equivalence and isomorphism problems

The computational complexity of equivalence and isomorphism problems