Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables (1999)

Cached

Download Links

by Martin Sauerhoff
Venue:In Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Citations:2 - 0 self