Journal: Electronic Colloquium on Computational Complexity (ECCC)

Volume 5, Issue 51

0 -- 0Petr Savický. A probabilistic nonequivalence test for syntactic (1,+k)-branching programs