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

by M Sauerhoff
Venue:In Proc. of 19th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer, Lecture Notes in Computer Science 1738