Computing with restricted nondeterminism: The dependence of the OBDD size on the number of nondeterministic variables (1999)

by M Sauerhoff
Venue:In Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science