Ablayev F.; Karpinski M.; Mubarakzjanov R.
(2001)
We investigate the relationship between probabilistic and nondeterministic complexity classes PP, BPP, NP and coNP with respect to ordered read-once branching programs (OBDDs). We exhibit two explicit Boolean functions ...