Login / Signup
Hanan Shabana
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 5
Top Topics
Sat Solvers
Clause Learning Sat Solvers
Search Tree
Deterministic Automata
Top Venues
CoRR
Acta Informatica
MOTOR (2)
</>
Publications
</>
Hanan Shabana
,
Mikhail V. Volkov
Careful synchronization of partial deterministic finite automata.
Acta Informatica
59 (4) (2022)
Hanan Shabana
,
Mikhail V. Volkov
Optimal synchronization of partial deterministic finite automata.
CoRR
(2020)
Hanan Shabana
,
Mikhail V. Volkov
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata.
MOTOR (2)
(2019)
Hanan Shabana
,
Mikhail V. Volkov
Using Sat solvers for synchronization issues in partial deterministic automata.
CoRR
(2019)
Hanan Shabana
,
Mikhail V. Volkov
Using Sat solvers for synchronization issues in non-deterministic automata.
CoRR
(2018)