Testing computability by width two OBDDs (2009)

by D Ron, G Tsur
Venue:In Proceedings of the Thirteenth International Workshop on Randomization and Computation (RANDOM