1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Hanan Shabana, Mikhail V. Volkov
We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invok…