Journal: Electronic Colloquium on Computational Complexity (ECCC)

Volume 4, Issue 60

0 -- 0Manindra Agrawal. The Satisfiability Problem for Probabilistic Ordered Branching Programs