Shabana Hanan

Publications in Math-Net.Ru

1. Using SAT solvers for synchronization issues in non-deterministic automata
   
   Sib. Èlektron. Mat. Izv., 15 (2018),  1426–1442
2. $D_2$-synchronization in nondeterministic automata
   
   Ural Math. J., 4:2 (2018),  99–110