%0 Journal Article
%A H. Shabana
%A M. V. Volkov
%T Using SAT solvers for synchronization issues in non-deterministic automata
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2018
%P 1426-1442
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2018_15_a79/
%G en
%F SEMR_2018_15_a79