Lower Bounds for Testing Computability by Small Width OBDDs.

Joshua Brody, Kevin Matulef, Chenggang Wu

Browse the full TAMC paper archive.