TY  - RPRT
TI  - Generating Shortest Synchronizing Sequences using Answer Set Programming
AU  - Canan Güniçen
AU  - Esra Erdem
AU  - Hüsnü Yenigün
PY  - 2013
UR  - https://arxiv.org/abs/1312.6146
ID  - 1312.6146
ER  -