Generating shortest synchronizing sequences using Answer Set Programming. Güniçen, C., Erdem, E., & Yenigün, H. arXiv preprint arXiv:1312.6146, 2013.
bibtex   
@article{guniccen2013generating,
  title={Generating shortest synchronizing sequences using Answer Set Programming},
  author={G{\"u}ni{\c{c}}en, Canan and Erdem, Esra and Yenig{\"u}n, H{\"u}sn{\"u}},
  journal={arXiv preprint arXiv:1312.6146},
  year={2013}
}

Downloads: 0