Kazuhisa Hosaka;Yasuhiko Takenaga;Shuzo Yajima
-;-;-
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A new look at BDDs for Pseudo-Boolean constraints
Journal of Artificial Intelligence Research