Lower bounds for testing computability by small-width branching programs (2011)

by Joshua Brody, Kevin Matulef, Chenggang Wu
Venue:In Proc. 8th Annual Theory and Applications of Models of Computation