Carsten Damm;Matthias Krause;Christoph Meinel;Stephan Waack
-;-;-;-
Lower bounds for linearly transformed OBDDs and FBDDs
Journal of Computer and System Sciences
A Lower Bound Technique for Nondeterministic Graph-Driven Read-Once-Branching Programs and Its Applications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science