TY  - JOUR
AU  - H. Shabana
AU  - M. V. Volkov
TI  - Using SAT solvers for synchronization issues in non-deterministic automata
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 1426
EP  - 1442
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a79/
LA  - en
ID  - SEMR_2018_15_a79
ER  -