TY  - RPRT
TI  - Symmetry Breaking Predicates for SAT-based DFA Identification
AU  - Vladimir Ulyantsev
AU  - Ilya Zakirzyanov
AU  - Anatoly Shalyto
PY  - 2016
UR  - https://arxiv.org/abs/1602.05028
ID  - 1602.05028
ER  -