Joshua Brody, Kevin Matulef, Chenggang Wu. Lower Bounds for Testing Computability by Small Width OBDDs. In Mitsunori Ogihara, Jun Tarui, editors, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Volume 6648 of Lecture Notes in Computer Science, pages 320-331, Springer, 2011. [doi]
Abstract is missing.