Search

Your search keyword '"Shabana, Hanan"' showing total 1 results
Start Over Author "Shabana, Hanan" Language undetermined
1 results on '"Shabana, Hanan"'

1. Using Sat solvers for synchronization issues in non-deterministic automata

Author

Shabana, Hanan and Volkov, Mikhail V.

Subjects
FOS: Computer and information sciences, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Formal Languages and Automata Theory (cs.FL), Computer Science::Logic in Computer Science, 68Q45, Computer Science - Formal Languages and Automata Theory, Computer Science::Computational Complexity, Computer Science::Formal Languages and Automata Theory
Abstract

We approach the problem of computing a $D_{3}$-synchronizing word of minimum length for a given nondeterministic automaton via its encoding as an instance of SAT and invoking a SAT solver. We also present some experimental results., Comment: 16 pages, 4 figures

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results