Testing Computability by Width-Two OBDDs

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},
}