Lower bounds for testing computability by small width OBDDs (2011)

by Joshua Brody , Kevin Matulef , Chenggang Wu
Venue:IN PROC. 8TH ANNUAL THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
Citations:4 - 1 self