Dana Ron, Gilad Tsur. Testing Computability by Width-Two OBDDs. Electronic Colloquium on Computational Complexity (ECCC), 18:41, 2011. [doi]
@article{RonT11-0, title = {Testing Computability by Width-Two OBDDs}, author = {Dana Ron and Gilad Tsur}, year = {2011}, url = {http://eccc.hpi-web.de/report/2011/041}, tags = {testing}, researchr = {https://researchr.org/publication/RonT11-0}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {18}, pages = {41}, }