Dana Ron, Gilad Tsur. Testing Computability by Width-2 OBDDs Where the Variable Order is Unknown. In Tiziana Calamoneri, Josep Díaz, editors, Algorithms and Complexity, 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings. Volume 6078 of Lecture Notes in Computer Science, pages 131-142, Springer, 2010. [doi]
Abstract is missing.